haskell - 有什么方法可以在 do/while/let block 中打印出变量类型？

Question

有没有办法打印出 ghci 中嵌套变量的推断类型？ ?考虑代码，

let f = g where
    g (x :: Int) = x

那么，查询 g 的类型就好了。 ，例如 :t f.g将打印出 Int -> Int .

Answer 1

您可以通过给出适当的错误类型注释并检查错误消息来哄骗这些信息。

*Main> let f = g where g::a; g (x::Int) = x

<interactive>:1:23:
    Couldn't match type `a1' with `Int -> Int'
      `a1' is a rigid type variable bound by...