评估顺序复合程序元循环“适用”

Question

我正在学习SICP第4章及其元循环方案评估器的实现。我很难理解用户定义的过程是如何由它的<代码>应用过程来处理的。

元循环求值器由两个主要过程组成：val和Application。基本思想是递归地应用val，直到只有自求值表达式（如数字和字符串）或具有原始过程的表达式可以由Application直接处理。

evaluator遵循评估的环境模型工作，我们将变量绑定到它们的关联值，并在每次调用lambda时创建新的帧。过程定义是这样处理的。过程名在环境中绑定，当调用它时，它的主体将在一个新的框架中求值，其中的参数已绑定到用于调用它的参数。

此特定部分反映在apply程序的以下几行中：

(define (apply procedure arguments)
  (cond (...)
        ((compound-procedure? procedure)
         (eval-sequence
           (procedure-body procedure)
           (extend-environment
             (procedure-parameters procedure)
             arguments
             (procedure-environment procedure))))
        (...)

一个用户定义的过程由复合过程识别 谓词。eval序列过程只计算（过程主体过程）和（扩展环境…） 并返回最后一个表达式的值。

我的问题是，根据我的理解，我们应该先扩展环境，然后再评估程序的主体：

         (eval-sequence
           (extend-environment
             (procedure-parameters procedure)
             arguments
             (procedure-environment procedure))
           (procedure-body procedure))

例如：

(define (square x) (* x x))
(square 5)

第一行将把square绑定到lambda（及其相关的参数和主体）。这个绑定将在第二行中被识别。然后我明白我们创建了一个新的框架，其中x=5，只有在这种情况下，方块的主体才会被执行。但是这个顺序似乎被应用过程颠倒了，其中在将参数绑定到参数之前，过程的主体会被评估。

如果有人能帮我理解这个问题，我将不胜感激。




Answer 1

（过程主体过程）不计算过程主体，它只是返回它。

程序主体通过eval sequence进行评估。它接收新环境作为第二个参数，该环境由扩展环境创建，它将所有参数绑定添加到环境中。

然后在扩展环境的作用域中计算过程主体。