let-forms 如何评估？

Question

let - 表单中允许包含多个表达式：

(let ((x 4))
   x
  (+ x 1))

返回5。

这个表达式是如何计算的？

Answer 1

这称为隐式 begin，换句话说，您的代码将被评估，就好像它是这样编写的：

(let ((x 4)) (begin x (+ x 1)))

Answer 2

好吧，为了以防万一，让我们弄清楚术语。 let 形式有两部分：绑定 和 主体：

(let (<zero or more bindings>)
  <one or more body expressions>)

绑定的形式为 (; )，主体是表达式序列。 let 的计算方式如下：

• 创建一个本地环境，其中每个变量都绑定到相应绑定中的表达式的计算结果。
• 按顺序评估正文中的表达式。
• 结果：主体中最后一个表达式的结果。

Answer 3

您所描述的情况发生在Scheme 的多个部分中，而不仅仅是在let 表达式中。在下面的内容中...

• 在 let 表达式中的变量绑定列表之后
• 在 lambda 表达式中的参数列表之后（因此，在 a 中的参数列表之后）过程定义）
• 在 cond 表达式中的每个子句之后

...您可以编写一个表达式列表。这些表达式隐式地包含在 begin 特殊形式中，求值顺序是从左到右，所有表达式依次求值，但返回的值是最后一个表达式的值。

例如，此表达式：

(cond ((= 1 1) 1 2 3))

等效于：

(cond ((= 1 1) (begin 1 2 3)))

在这两种情况下，返回值为 3，因为这是列表中最后一个表达式的值。

Answer 4

首先，术语——变量绑定之后的表达式统称为主体，主体中的每个表达式都是一个主体表达式。例如：

(let ((variable-1 value-1)
      (variable-2 value-2))
  body-expression-1
  body-expression-2)

主体表达式包含在 begin 中 -- (let ((x 2)) x (+ x 1)) 与 (let ( (x 2))（开始x (+ x 1))）。

begin 中的每个主体表达式都会被求值，最终表达式的返回值将用作整个主体的返回值。例如： (begin (+ x 1) (+ x 2)) 将评估 (+ x 1) 和 (+ x 2) 和然后返回计算(+ x 2)的结果。

如果 begin 中的每个主体表达式都没有副作用，则可以删除除最后一个主体表达式之外的所有主体表达式，而不会更改程序的运行时行为。这里唯一的例外是当初步主体表达式之一运行缓慢/不返回/出错时——消除主体表达式可以消除问题，这是对程序运行时行为的更改。

但是，当使用具有副作用的函数时，调用一个或多个函数以消除其副作用，然后返回一个值的功能非常有用。