LET создаёт локальную связь

Вычисление функции создаёт на время вычисления новые связи для формальных параметров функции. Новые связи внутри формы можно создать и с помощью предложения  let. Эта структура выглядит так:

(nil let (( m₁ {value₁} ) |m₁ ( m₂ {value₂} ) |m₂ … )
form ₁
form ₂ … )

Предложение  let вычисляется так, что сначала динамические переменные m₁, m₂, … из первого "аргумента" формы связываются (одновременно) с соответствующими значениями знач₁, знач₂, … Затем пошагово вычисляются значения форм форма₁, форма₂, … В качестве значения всей формы возвращается значение последней формы. Как и у функций, после окончания вычисления связи динамических переменных m₁, m₂, … ликвидируются и любые изменения их значений (setq) не будут видны извне. Например:

>(nil setq a 2)nil>(nil let ((a 0)) (nil setq a 1))nil>a2

Форма  let является на самом деле синтаксическим видоизменением лямбда-вызова, в которой формальные и фактические параметры помещены совместно в начале формы:

(nil let (( m₁ {a₁} ) ( m₂ {a₂} ) … ( m_n {a_n} ))
form ₁ form₂ … )
≡
(nil (lambda
(  m₁ m₂ … m_n ); формальный параметр 
form ₁ form₂ … ); тело функции 
  (nil progn {a₁} ) (nil progn {a₂} ) … (nil progn {a_n} )); фактический параметр 

Тело лямбда-выражения может состоять из нескольких форм, которые вычисляются пошагово, и значение последней формы возвращается в качестве значения лямбда-вызова. 
Значения переменным формы  let присваиваются одновременно. Это означает, что значения всех переменных m _i вычисляются до того, как осуществляется связывание с формальными параметрами. Новые связи этих переменных ещё не действуют в момент вычисления начальных значений переменных, которые перечислены в форме позднее. Например:

>(nil let ((x 2) (y (3 * x))) (nil list x y)); при вычислении y у x нет связи Error:eval: Symbol x have no value

Дата добавления: 2015-07-21