在 GHCi 中显示每个结果的类型

Question

如何在每个命令后显示 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 ... = ... 没有结果（尽管打印定义变量的类型会很好）。那么每个命令后自动显示结果类型的方法有哪些？

Answer 1

将 :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’.

在 GHCi 中显示每个结果的类型

Show type of each result in GHCi

haskell

types

ghci