let и flet в emacs lisp

В отличие от Scheme, 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

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

let также выполнит локальную привязку, но не будет привязываться к "ячейке функции" для этот символ.

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

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

но

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

завершается с ошибкой: "Ошибка Lisp: (void-function myf)"

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

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

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

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

@ d11wq для этого есть `funcall '. Следующие работы:

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

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

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

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

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

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

Надеюсь это поможет,

Пабло