haskell - 这是什么意思？来自 Haskell 维基

Question

data Exp  
  = Let String Exp Exp
  | Exp1 Exp1
  deriving Show

文档页面示例中的 Let 关键字是什么意思？（我知道let的正常含义）

Answer 1

这不是关键字。它只是该Exp类型的第一个构造函数的名称。Exp1第二行的第一个是第二个构造函数的名称。

Answer 2

在这种情况下Let是一个数据构造函数，不应与let关键字混淆。
在示例中，语法接受let类似于 Haskell 使用的表达式。
即字符串let foo = 5 in foo + foo稍后将表示为：
Let "foo" (Term (Factor (Int 5))) (Plus (Term (Factor (Var "foo"))) (Factor (Var "foo")))

如您所见，构造函数的第一个参数是 substition，第二个参数是 substition 适用的表达式。