Статья: Функциональное программирование

362880

Нужно заметить, что определение функции с данным именем и значение имени могут задаваться независимо. Например, мы можем в этом же контексте задать (setq fact 7), хотя, конечно же, это отвратительный способ программирования.

Все формальные параметры функций являются локальными переменными. Никакие изменения их значений не выходят наружу. Но все другие свойства остаются глобальными! Приведем пример.

[23]> (defun f (x) (progn (setf

(get 'x 'weight) '(25 kg)) (+ x 3)))

F

[24]> (setf (get 'x 'weight) '(30 kg))

(30 KG)

[25]> (get 'x 'weight)

(30 KG)

[26]> (setq x 5)

5

[27]> (f 3)

6

[28]> x

5

[29]> (get 'x 'weight)

(25 KG)

В lisp имеется возможность создать анонимный блок со своими локальными переменными, не объявляя его функцией. Создание такого блока называется связыванием переменных и производится функцией let.

Значение имени, унаследованного извне, все равно будет внешним! Смотрите пример ниже.

[32]>(setq a '(b c d))

(B C D)

[33]>(setq b 5)

5

[34]> (list (let ((b 6)) (eval (car a)))

(eval (car a)))

(5 5)

[35]> (list (let ((b 6)) b) (eval (car a)))

(6 5)