Сложность понимания вложенных выражений в Лисп

Question

Вот функция, которая задает число и возвращает значение, если его тип действительно число и еще раз выполняет функцию:

(defun ask-number() 
    (format t "Please enter a number.~%") 
    (let ((val (read))) 
    (if (numberp val) 
     val 
     (ask-number)))) 

Я понимаю, что после того, как значение считывается, он обозначается как val, а целое ((val (read))) является аргументом let. Я не понимаю, почему if-statement вложен в let. Я предположил бы, что программа должна быть примерно такой:

(defun ask-number() 
    (format t "Please enter a number.~%") 
    (let ((val (read)))) 
    (if (numberp val) 
     val 
     (ask-number))) 

, который приводит к ошибке. Я не знаю, почему это происходит.

Answer 1

Причина if находится внутри let, что val вы создали с let действует только в пределах let; как только вы выходите из let, val больше не существует.

let является синтаксический сахар для создания и мгновенно вызывая выражение lambda, поэтому ваше выражение let в основном так же, как:

((lambda (val) 
    (if (numberp val) 
     val 
     (ask-number))) 
(read))