让表达

let 表达式可用于从变量的中间计算中捕获值。

let-expression： let 变量列表 in 表达式 variable-list：       变量       变量 , variable-list 变量：       变量名 = 表达式 变量名：       标识符

以下示例显示了计算中间结果并将其存储在变量x, 中y，z然后在后续计算中使用的结果x + y + z：

复制

let     x = 1 + 1,
        y = 2 + 2,     
        z = y + 1 
in
        x + y + z

这个表达式的结果是：

复制

11  // (1 + 1) + (2 + 2) + (2 + 2 + 1)

在评估let-expression 中的表达式时，以下内容成立：

• 变量列表中的表达式定义了一个包含来自变量列表产生式的标识符的新范围，并且在评估变量列表产生式中的表达式时必须存在。变量列表中的表达式可以相互引用。
• 所述内的表达式变量列表中的表达式之前必须进行评估松懈表达进行评估。
• 除非访问变量列表中的表达式，否则不得对它们求值。
• 传播在评估let表达式中的表达式期间引发的错误。

let 表达式可以看作是隐式记录表达式上的语法糖。下面的表达式等价于上面的例子：

复制

[     x = 1 + 1,
      y = 2 + 2,
      z = y + 1,
      result = x + y + z 
][result]