编译与解释：允许还是不允许

Question

为什么Haskell解释器（GHCI 7.10.3）要求函数定义位于let表达式中，但是Haskell编译器（GHC 7.10.3）如果函数定义位于let表达式中，则会引发解析器错误？

我正在通过“ 学习Haskell来成就伟大 ！”的工作。 宝宝的第一个功能是doubleMe：doubleMe x = x + x

如果解释器位于let表达式中，为什么解释器会接受该定义，否则会在输入'='上引发解析错误？ 同时，如果我正在从文件中编译相同的函数，那么如果函数定义在let表达式内，那么GHC为什么会引发解析错误，而如果不在let表达式内，则为什么会编译该定义？ 来自Lisp的背景，令我惊讶的是，交互式Haskell以及文件加载和编译Haskell对这些定义的区别对待。

Answer 1

其背后的原因是GHCi（在7.10.3中）仅预期在提示符下

• 命令 （键入:h以列出可用命令）
• 声明 （之类的data ， type ， newtype ， class ， instance ， deriving和foreign而不是一个普通的定义）
• 进口
• 表达式 （诸如let x = 3 in x*x 1+1或let x = 3 in x*x类的东西）
• I / O操作/ do语句 （类似print "hi"或x <- getLine let doubleMe x = x + x 或 let doubleMe x = x + x ）

如果这让您感到惊讶，请记住Lisp和Haskell的评估是非常不同的-Lisp只是在Haskell编译时得到解释。

如您所知，顶级定义不属于此列表。 值得庆幸的是，此问题已在GHCi 8.0.1中修复，现在它支持原始的顶层函数声明。 以下工作（在8.0.1中）：

ghci> doubleMe x = x + x
ghci> doubleMe 1
2

Answer 2

GHCi解释器命令行将其输入视为在do子句中。 因此，您可以输入以下内容：

:module + System.Random
v <- getStdRandom $ randomR (1,10)

除了:module指令外，这确实是do子句中的方式。

同样，你可以写

let f x = 2 * x

因为那是do子句中的方式。

Answer 3

现代Lisp实现编译为本地代码，即使在提示时输入代码，通常也默认情况下编译为本地代码。 Lisp的提示不仅是输入命令的地方，还是与语言进行交互的地方，因为整个语言都可以通过“读取-评估-打印”循环使用。 这意味着Lisp将文本读入符号表达式，然后对其求值，打印所有打印输出和任何返回值。 例如，

? (defun a-fun () nil)
A-FUN
? (compiled-function-p #'a-fun)
T

编译功能P Clozure Common Lisp

使用Lisp，您可以通过编译和加载文件来输入Lisp图像，也可以通过在REPL上键入文件来输入Lisp图像。 所以事实证明我很惊讶，因为我期望GHCi提示是REPL，但是正如@Alec所描述的，这并不是因为它没有像Lisp那样将文本读入Haskell表达式中，然后它将对其求值。 正如@dfeuer所说，问题不在于编译还是解释。 问题在于，GHCi的提示仅提供与Haskell编译器的有限交互，而不是像Lisp的REPL那样与Haskell本身进行交互。