Как оцениваются let-forms?

Question

let -формы могут содержать несколько выражений внутри:

(let ((x 4)) 
    x 
    (+ x 1)) 

возвращается 5.

Как оценивается это выражение?

Answer 1

Ситуация вы описываете происходит в нескольких частей на схеме, а не только в выражении let. В дальнейшем ...

• После того, как список привязок переменных в выражении let
• После того, как список параметров в выражении lambda (и, следовательно, после списка параметров в определении процедуры)
• После каждого предложения в выражении cond

... вы можете написать список выражений. Неявно эти выражения заключены в специальную форму begin, порядок оценки - слева направо, все выражения оцениваются поочередно, но возвращаемое значение - это значение последнего выражения.

Например, это выражение:

(cond ((= 1 1) 1 2 3)) 

эквивалентно:

(cond ((= 1 1) (begin 1 2 3))) 

В обоих случаях возвращается значение 3, потому что это значение последнего выражения в списке.

Answer 2

, что называется неявной begin, другими словами, ваш код вычисляется, как если бы оно было написано:

(let ((x 4)) (begin x (+ x 1))) 

Answer 3

Хорошо, давайте на всякий случай понятны термины. let форма состоит из двух частей: привязки и тела:

(let (<zero or more bindings>) 
    <one or more body expressions>) 

Обязывающее имеет форму (<variable> <expression>), а тело представляет собой последовательность выражений. A let оценивается следующим образом:

• Создайте локальную среду, в которой каждая переменная привязана к результату оценки выражения в соответствующей привязке.
• Оцените выражения в теле в последовательном порядке.
• Результат: последнее выражение в теле.

Answer 4

Во-первых, терминология - выражения после связывания переменных известны как тело, и каждое выражение в теле является выражением тела.Пример:

(let ((variable-1 value-1) 
     (variable-2 value-2)) 
    body-expression-1 
    body-expression-2) 

Тело выражение завернуты в begin - (let ((x 2)) x (+ x 1)) таких же, как (let ((x 2)) (begin x (+ x 1))).

Выражается каждое выражение тела в begin, а возвращаемое значение конечного выражения используется как возвращаемое значение для всего тела. Пример: (begin (+ x 1) (+ x 2)) будет оценивать (+ x 1) и (+ x 2), а затем вернуть результат вычисления (+ x 2).

Если каждое выражение тела в begin не имеет побочных эффектов, то все, кроме последнего выражения тела, могут быть удалены без изменения поведения во время выполнения программы. Единственными исключениями здесь являются случаи, когда одно из предварительных выражений тела работает медленно/не возвращает/ошибки - исключение выражения тела устраняет проблему, что является изменением поведения во время выполнения программы.

Однако при использовании функций с побочными эффектами полезно использовать одну или несколько функций для их побочных эффектов, а затем возвращать значение.