如何进入GHCi的新生产线？

Question

我想写一个函数，就像这样

double :: Int -> Int
double x = x + x

问题在于我写完第一行后：

Prelude> double :: Int -> Int

我尝试按下回车键进入下一行，但是当我这样做时，我得到：

<interactive>:84:1: Not in scope: `double'
Prelude>

似乎程序执行第一行，但我不想要那个，我希望程序让我写第二行然后才编译并执行

那么，我怎样才能进入Haskell的下一行（我在Mac OS上使用终端）？

Answer 1

在ghci中，您必须将定义放在一行上，并以let开头。它与源文件不同：

ghci> let double :: Int -> Int; double x = x + x

您还可以使用:{和:}进行多行定义：

ghci> :{
Prelude| let double :: Int -> Int
Prelude|     double x = x + x
Prelude| :}
ghci> double 21
42

确保缩进第二个double以与第一个对齐 - 缩进很重要。

我建议您在文本编辑器中完成大部分工作，然后将文件加载到ghci（使用:load，或在命令行中将其作为参数提供）并使用它。在实际编写代码时，我发现ghci非常令人愉快 - 它更好地处理已编写的代码。每当您在ghci中修改文本文件:reload（或仅:r）时。