scheme - 错误：无法在空句法环境中绑定名称

Question

我目前正在学习 scp book 的练习 1.3。这是问题的描述：

定义一个将三个数字作为参数并返回两个较大数字的平方和的过程。

我试图用下面的代码解决它

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

(define (sq2largest a b c)
        ((define large1 (if (> a b) a b)) 
         (define small  (if (= large1 a) b a))
         (define large2 (if (> c small) c small))
         (+ (square large1) (square large2))))

当我在 mit-scheme 中运行它时，出现以下错误：

;不能在空句法环境中绑定名称：large1 #[reserved-name-item 13]

谷歌搜索这个错误不会产生很多结果。有谁知道我的代码有什么问题？（我不熟悉Scheme）

Answer 1

我将尝试分解您的 sq2largest 过程的结构：

基本结构是：

(define (sq2largest a b c)
    ; Body)

你写的正文是：

((define large1 (if (> a b) a b)) ; let this be alpha
 (define small  (if (= large1 a) b a)) ; let this be bravo
 (define large2 (if (> c small) c small)) ; let this be charlie
 (+ (square large1) (square large2)) ; let this be delta) ; This parentheses encloses body

因此，Body 的结构如下：

(alpha bravo charlie delta)

翻译为：“将 bravo、charlie 和 delta 作为参数传递给 alpha。”

现在，alpha 被告知要接受一堆参数，但在为 large1 保留的命名空间内，没有为任何参数提供任何规定……即方案遇到一个不能绑定任何变量的空句法环境。

括号在 Scheme（以及大多数，如果不是全部的话，Lisps）中很重要，因为它们定义了过程的范围并强制[1] 操作的应用顺序。

[1] “不会产生歧义，因为运算符始终是最左边的元素，整个组合由括号分隔。” http://mitpress.mit.edu/sicp/full-text/sicp/book/node6.html

Answer 2

你有太多的括号。如果您取出内部定义周围的额外括号，事情应该会更好。