Ответ 1
Выражение LAMBDA
(lambda ...) считается лямбда-выражением только в определенных местах, таких как форма function или как глава вызова функции. Лямбда-выражения не оцениваются.
(function ; special operator FUNCTION
(lambda () 'foobar)) ; <- this is a lambda expression
( ; a function call
(lambda (foo) foo) ; <- this is a lambda expression
'bar ; argument
)
Но здесь (lambda ...) - макроформа, а не лямбда-выражение:
(funcall ; calling a function via funcall
(lambda (foo) foo) ; this is not a lambda expressions, but the macro lambda
; as all arguments to FUNCALL it will be
macro expanded and evaluated
; it expands to (function (lambda (foo) foo))
'bar) ; argument
Макрос LAMBDA
LAMBDA - это макрос. Он расширяет (lambda ...) до (function (lambda ...)), что эквивалентно #'(lambda ...)).
CL-USER > (macroexpand '(lambda (foo) foo))
(FUNCTION (LAMBDA (FOO) FOO))
Макрос экономит вам немного написание/чтение, что и все. В первой версии Common Lisp (CLtL1) не было макроса LAMBDA. Он был добавлен позже и теперь является частью ANSI Common Lisp,
Специальный оператор FUNCTION
FUNCTION является специальным оператором. Он ожидает имя функции или выражение лямбда. Таким образом, имя или выражение лямбда не оцениваются. Фактически лямбда-выражения не могут быть оценены вообще. Внутри function выражение лямбда не представляет собой макрокоманду и, следовательно, будет расширено не. Цель function - вернуть соответствующий объект функции, который обозначается именем или выражением лямбда. Он возвращает объект функции как значение. С помощью этого специального оператора можно получить доступ к объекту функции из глобальных функций и лексических функций.
Оператор function необходим в Common Lisp, поскольку он имеет отдельные пространства имен для значений, функций и нескольких других вещей. Это как так называемый Lisp -2 или даже Lisp -n, с двумя или более пространствами имен.
Лямбда-выражения в позиции функции в форме функций
((lambda (foo) foo) 10) поддерживается встроенным синтаксисом для Common Lisp. См. Лямбда-формы.
Смешение
Это все логично, но сбивает с толку. Не беспокойтесь, что вы не одиноки, но на практике это неважно.