haskell - GHCi "let"——它有什么作用？

Question

如果有人可以指出有关“让”在 GHCi 中的作用的文档，或者如果失败，请令人信服地解释它，我将不胜感激。
据我所知，“let”(没有“in”)本身不是 Haskell 语言的一部分，另一方面，它似乎也不是 GHCi 命令，因为它没有以冒号为前缀.

Answer 1

在 GHCi 中编程时，您就像在 IO monad 中使用 do 进行编程一样。语法，例如你可以直接执行 IO操作，或使用像 r <- someIOFun 这样的单子(monad)绑定(bind)语法.
let也是 do 的一部分所以你也可以使用它。我认为它正在被脱糖成 let .. in <rest of the computation> ，例如当你这样做时:

ghci> let a = 1
ghci> someFun
ghci> someFun2

就像是:

let a = 1 in
do someFun
   someFun2