пусть и FLET в Emacs Lisp

Question

Я не знаю, если вы могли бы назвать его канонической формулировку, но связать локальную функцию я консультировал в руководстве GNU использовать «FLET»:

(defun adder-with-flet (x) 
    (flet ((f (x) (+ x 3))) 
    (f x)) 
) 

Однако , случайно я попробовал (после некоторого проигрывания в Схеме) следующее выражение, в котором я привязываю лямбда-выражение к переменной с помощью «let», и это также работает, если я передаю функцию mapcar *:

(defun adder-with-let (x) 
    (let ((f (lambda (x) (+ x 3)))) 
    (car (mapcar* f (list x)))) 
) 

И обе функции работают:

(adder-with-flet 3) ==> 6 
(adder-with-let 3) ==> 6 

Почему второй работает? Я не могу найти документацию, где 'let' может использоваться для привязки функций к символам.

Answer 1

В отличие от Схемы, Emacs Lisp является 2-lisp, что означает, что каждый символ имеет два отдельных привязки: привязку значения и привязку функции. В вызове функции (a b c d) первый символ (a) просматривается с использованием функции привязки, остальные (b c d) просматриваются с использованием привязки значения. Специальная форма let создает новое (местное) значение привязки, flet создает новое связывание функций.

Обратите внимание, что ли значение или функция связывания используется для поиска зависит от позиции в вызове функции (a b c d), а не на типа из выглядел вверх значения. В частности, привязка значения может работать.

В первом примере, вы действуете-привязку f (через flet), а затем сделать функцию поиска:

(f ...) 

В вашем втором примере стоимость привязки f к функции (через let) , а затем использовать поиск значения:

(... f ...) 

Оба работают, потому что вы используете один и тот же тип связывания и поиска в каждом конкретном случае.

http://en.wikipedia.org/wiki/Common_Lisp#Comparison_with_other_Lisps

Answer 2

Я сделал быстрый поиск в Emacs Lisp вручную и не смогли найти никаких ссылок на 'flet, что не очень удивительно, поскольку это является частью cl - common-lisp package.

let также будет выполнять локальную привязку, но для этого символа не будет привязан к "function cell".

т.е. это работает:

(let ((myf (lambda (x) (list x x)))) 
    (eval (list myf 3))) 

но

(let ((myf (lambda (x) (list x x)))) 
    (myf 3)) 

завершается с ошибкой: "Лисп ошибка: (аннулируется-функция MYF)"

flet с другой стороны, делает сделайте привязку к функциональной ячейке, поэтому это работает:

(flet ((myf (x) (list x x))) 
    (myf 3)) 

Обратите внимание, что разница в том, что flet позволяет использовать символ myf напрямую, в то время как у let нет - вам нужно использовать некоторую косвенность, чтобы получить функцию из ячейки значений и применить ее соответствующим образом.

В вашем примере «mapcar» сделал эквивалент моему использованию 'eval.

Answer 3

@ d11wq есть `FUNCALL» для этой цели. Следующие работы:

(defun adder-with-let (x) 
    (let ((f #'(lambda (x) (+ x 3)))) 
    (funcall f 3))) 

(adder-with-let 3) ;=> 6 

Answer 4

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

(let ((ALocalSymbol)) 
    (fset 'ALocalSymbol (lambda (x) (* 2 x))) 
    (ALocalSymbol 4) 
) 

Оценка это вернет 8. Не замечает цитату перед ALocalSymbol в (let ((ALocalSymbol))...). В то время как setq цитирует символы, fset нет.

flet является синтаксическим сахаром. Использование простого let для определения нулевых символов позволяет вам выбрать, какая «ячейка» установленного символа. Вы можете использовать setq для установки ячейки значения символа или fset для установки ячейки функции.

Надеется, что это помогает,

Пабло