GHCi 可以告诉我本地 Haskell 函数的类型吗？

Question

是否可以查询 ghci 为另一个函数内的函数推断出的类型？

Answer 1

这是一个快速而丑陋的 hack，但我通常所做的只是以错误的方式使用该函数并读取错误消息：

inc x = x + 1
  where
    f (y, z) = y + z
    g = f :: Char

GHCi 输出：

Couldn't match expected type `Char'
       against inferred type `(t, t) -> t'
In the expression: f :: Char

尽管这忽略了上下文 Num t =>，这通常确实为我提供了足够的信息来继续。

Answer 2

您可以尝试通过在其上设置断点来执行此操作，以便该函数位于调试器的范围内。

另外，我认为当您将鼠标悬停在事物上时，EclipseFP 可以告诉您事物的类型，至少在某些时候是这样。

Answer 3

对于 GHC 7.8+，只需将 `asTypeOf` _ 附加到表达式中。

请参阅找出带有类型孔的表达式/函数的类型 详细解释。