3 个 SICP 练习的最大 2 个平方和

Question

我已经编写了一个程序来计算 3 个数字中的第一个和第二个最大的平方和，如下所示...

    (define (max2of3 x y z)
      (let ((first (max x y))
            (second (max first z)))
        (+ (* first first) (* second second))))

但是当我执行它时出现错误...

[2]（加载“max2of3”） 好的 [3] (max2of3 1 2 3)

[遇到虚拟机错误！] 词法环境中未定义变量 第一

虽然我确实理解错误是由于解释器无法识别变量“FIRST”而引起的，但我不明白为什么？

根据 SICP 的定义：

let 表达式的第一部分是名称-表达式对的列表。当评估 let 时，每个 name 与相应表达式的值相关联。 let 的主体被评估为 这些名称绑定为局部变量

这是否意味着'let'构造在声明块中声明了一个变量？

谢谢。

Answer 1

问题是为什么评估 (second (max first z))) first 不在范围内。

正如定义所说，该名称仅在let 的正文中可用。此时，运行时会尝试在外部范围内解析名称，但未定义名称，因此会出现错误。

注意：嵌套的let 可以解决这个问题。