haskell - 将表达式转换为在 haskell 脚本中描述其类型的字符串？

Question

我们都知道 ghci 中的 :t 给出了表达式的类型:

Prelude> :t [1..]
[1..] :: (Enum t, Num t) => [t]

我需要的是 haskell 脚本中 :t 的等价物(我将其称为 typeStr):

main = putStrLn $ typeStr [1..]

可以在屏幕上打印类似 (Enum t, Num t) => [t] 的内容。

这可能吗？

Answer 1

是的，有多种方法。

<强>1。使用动态类型

对于单态类型的简单情况，您可以使用 Typeable 实例:

Data.Dynamic> typeOf [1..]
[Integer]

<强>2。使用运行时评估

但是，要正确执行此操作 - 获取多态值的类型 - 您将需要完整的 GHC 类型检查器。例如。通过 ghc-api 库及其漂亮的包装器，hint :

Language.Haskell.Interpreter> runInterpreter $ typeOf "[1..]"
Right "(P.Enum t, P.Num t) => [t]"

这是使用动态调用的完整 GHC 类型检查器正确推断的类型。