Концепция переменной состояния, меняющейся со временем, не укладываются в подстановочную модель вычислений. Для формального описания требуется модель с окружениями (environment model), которая менее привлекательна с теоретической точки зрения.
(setq символ выражение) ⇒ значение
Особый оператор setq вычисляет второй аргумент выражение и присваивает его значение переменной символ.
Грубо говоря,
(setq символ выражение) ≡
(set 'символ выражение).
Отличие в том, что в setq переменная символ может быть
(defvar triple '(1 2 3)) triple (1 2 3) (setq triple '(4 5 6)) (4 5 6)