显示GHCi中每个结果的类型

时间:2017-09-10 15:10:15

标签: haskell types ghci

如何在每个命令后显示GHCi中结果表达式的类型? 例如,而不是

ghci> "hello" ++ " world"
"hello world"

我想看看

ghci> "hello" ++ " world"
"hello world" :: String

或至少

ghci> "hello" ++ " world"
"hello world" :: [Char]

其他语言的REPL默认提供此类行为。但我找不到proper ghci option这种行为。在执行每个命令后,我也可以打印it的类型。但是我没有找到在每个ghci命令之后如何调用命令的方法。嗯,明智的命令:let ... = ...没有结果(尽管打印定义变量的类型会很好)。 那么在每个命令之后自动显示结果类型的方法是什么?

1 个答案:

答案 0 :(得分:5)

:set +t添加到.ghci

来自documentation

+t
    Display the type of each variable bound after a statement is entered at the prompt.
    If the statement is a single expression, then the only variable binding will be for
    the variable ‘it’.