方案中的正常顺序和应用顺序评估

Question

对于网站上给出的第一个示例：View-Site，我的理解是，正常顺序的计算结果为 [6;1;1]，适用顺序的计算结果为 [6;2;2]

有人可以确认我的评估吗？

问候，
黑暗者

Answer 1

好的，让我们通过正常顺序计算来完成 (cons res v) 的计算步骤：

v 已定义为 (cons a (cons b '( )))，所以我们有 cons res (cons a (cons b '()))。 res 被定义为 (foo ...)，所以

(cons (foo (begin (set! a (+ a 1)) a)
           (begin (set! b (* b 2)) b))
      (cons a (cons b ’())))

最后 foo x y 被定义为 (+ xyy) code>，因此用 (begin (set! a (+ a 1)) a) 替换 x 和 (begin (set! b (* b 2) )) b) 对于 y，我们得到：

(cons (+ (begin (set! a (+ a 1)) a)
         (begin (set! b (* b 2)) b)
         (begin (set! b (* b 2)) b))
      (cons a (cons b ’())))

现在让我们评估一下：为了获得 cons 的结果，我们首先需要评估它的第一个参数 (+ .. .)。因此，我们首先需要计算 + 的第一个参数，即 (begin (set! a (+ a 1)) a)。计算结果为 2，因此 a 的值现在为 2，并且 + 的第一个参数也是 2。现在我们对第二个参数执行相同的操作。这也计算为 2 并将 b 设置为 2。第三个参数又是 (begin (set!b (* b 2)) b)，因此 b 的值现在是 4，第三个参数是 4。因此 cons 的第一个参数是结果 (+ 2 2 4)，即 8 和 的值a 和 b 分别是 2 和 4。

现在我们需要计算第二个参数 (cons a (cons b '()))。因此，由于 a 和 b 的值为 2 和 4，因此最终结果为 (8 2 4)。