Haskell泛型类型参数解析器工具或方法[重复]

Question

我们以这些函数的类型为例：

:t traverse
traverse
  :: (Applicative f, Traversable t) => (a -> f b) -> t a -> f (t b)

:t id
id :: a -> a

它们没有具体类型，但有泛型类型参数： a、f、b、t（如果他们调用的不是泛型类型参数请纠正我）

如果我以这种方式将id 和traverse 组合在一起，

:t traverse id [Just 1, Just 2, Nothing] 
traverse id [Just 1, Just 2, Nothing] :: Num b => Maybe [b]

Haskell 现在可以为类型变量a、f、b、t 绑定一些具体类型。

t = []
a = Maybe bb
f = Maybe
b = Num bb => bb

下面我手动推断参数的类型和映射，Haskell 中有没有任何方法或工具可以自动执行此操作，以便在示例中采用一些组合部分（id 和traverse），提取它们一般的类型签名，并在输出时生成从泛型类型参数名称到具体推断类型的映射？

另请参阅此处的第一个示例：https://wiki.haskell.org/Type_inference 对于表达式“map ord”，了解 Haskell 如何找到实际类型与名称的绑定。

所以当我们单独查看函数时，我们只有名称a、f、b、t。但随后我们组合这些函数并提供一些额外的信息，例如[Just 1, Just 2, Nothing]，并将名称a、f、b、t 映射到具体类型。

我想自动捕捉并显示这个映射。

Answer 1

我认为f 和t 是更多通用类型构造函数参数，因为它们作用于一个类型来给你一个类型（他们kind 是* -> *，其中* 表示“具体类型”）。

traverse id 不是组合，它是函数应用程序，因为您将 id 作为 参数 传递给 traverse。 this . that 是 this 和 that 之间的函数组合，在数学意义上，您创建一个函数，将其（第一个）参数作为输入提供给 that，并将此应用程序的结果提供给 this .

您参考this页面中的示例，其中给出了这个

map :: (a -> b) -> [a] -> [b]
Char.ord :: (Char -> Int)

编译器能够推断出map ord的类型是[Char] -> [Int]，你可以在命令行中写:t map ord来检查自己。

如果您在键入 :t traverse id 时期望具有具体类型的类似输出，您将不会得到它，原因很简单，traverse id 仍然是一个多态函数，两者都在具体类型参数和类型构造函数参数。

举一个稍微不同的例子，如果你输入:t traverse (:[])，其中(:[])的类型是a -> [a]，这是traverse所期望的(Applicative f) => a -> f b的一个特例，你会得到这个输出，

traverse (:[]) :: Traversable t => t b -> [t b]

与:t traverse相比，

traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)

告诉您traverse 在traverse (:[]) 中已被f === [] 和a === b“实例化”。