сумма квадратов макс 2 3 SICP упражнения

Question

Я написал процедуру для вычисления суммы квадратов первой и второй самый большой из 3-х цифр, как показано ниже ...

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

Но я получаю ошибка, когда я выполнить его ...

[2] (нагрузка "max2of3") OK [3] (max2of3 1 2 3)

[VM произошла ошибка!] Переменная не определена в лексической среде FIRST

Хотя я понимаю, что ошибка вызвана тем, что интерпретатор не распознает переменную «FIRST», я не понимаю почему?

По определению из SICP:

Первая часть выражения, пусть список имя-экспрессирующих пар. Когда значение let оценивается, каждое имя связано со значением соответствующего выражения. Тело let оценивается с помощью эти имена связаны как локальные переменные

Не означает, что это означает, что конструкция 'let' объявляет переменную в блоке объявления?

Спасибо.

Answer 1

Проблема в том, почему оценка (second (max first z)))first не входит в сферу действия.

Как указано в определении, это имя доступно только в теле let. На этом этапе среда выполнения пытается разрешить имя во внешней области, где оно не определено, следовательно, ошибка.

Примечание: вложенный let решает эту проблему.