Emacs lisp: почему этот sexp вызывает ошибку недопустимой функции?

здесь есть два вопроса. Первый-это вопрос синтаксиса, как указывали другие ответы. Второй вопрос, который упоминается в этом вопросе, касается вопросов охвата.

Синтаксический Вопрос

в Emacs Lisp (и других Lisps в Lisp-2 family), вызов функции выглядит как (f args...) здесь f является либо символом, который имеет значение функции, либо lambda выражение. Например,

(list 1 2 3)  
=> (1 2 3)

, потому что list имеет привязку функции. Кроме того,

((lambda (x y) (list x x y y)) 1 2)
=> (1 1 2 2)

, потому что (lambda (x y) (list x x y y)) это lambda выражение. Однако вы не можете использовать что-то, значение чего является функцией.

(let ((id (lambda (x) x)))
  (id 3))

сигналы a Lisp error: (void-function id). Но мы можем вызывать значения функций с помощью funcall:

(let ((id (lambda (x) x)))
  (funcall id 3))
=> 3

Примечание: это достаточно хороший способ смотреть на это, но на самом деле все немного сложнее. См.9.2 Виды форм в руководстве для деталей и эзотерических битов, таких как функция indirection.

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

(((lambda (b)
    (lambda (a)
      (+ b a)))
  3)
 5)

как я понимаю, намерение состоит в том, чтобы сначала позвонить (lambda (b) ...) С аргументом 3 чтобы вернуть анонимную функцию,(lambda (a) ...). В Emacs Lisp это будет:

((lambda (b)
   (lambda (a)
     (+ b a)))
 3)
=> (lambda (a) (+ b a))

теперь, вы также хотите вызвать возвращенную анонимную функцию с помощью 5. Мы используем funcall для этого:

(funcall ((lambda (b)
            (lambda (a)
              (+ b a)))
          3)
         5)

К Вопросу Об Аналитическом Исследовании

к сожалению, этот код производит Lisp error: (void-variable b). этой здесь мы, наконец, сталкиваемся с проблемой динамического и лексического охвата. Потому что переменная b был связан динамически, его значение не сохраняется в анонимной функции (lambda (a) (+ b a)). Мы можем проверить, что это то, что происходит вокруг вся форма в чем-то, что связывает b и видим, что происходит:

(let ((b 100))
  (funcall ((lambda (b)
              (lambda (a)
                (+ b a)))
            3)
           5))
=> 105

я не очень хакер Emacs Lisp, поэтому я не уверен в лучшие способ получить лексические замыкания в Emacs. Я читал, что Emacs 24 имеет его, но я все еще на 23 здесь. На основе ответ, однако, мы можем использовать lexical-let чтобы получить результаты, которые нам нужны:

(funcall ((lambda (b)
            (lexical-let ((b b))
              (lambda (a)
                (+ b a))))
          3)
         5)
=> 8

lexical-let устанавливает лексическую привязку, которая нам нужна, так что анонимная функция (lambda (a) ...) это 3 застрял в нем. Более конкретно, мы ввели лексическое связывание b, и именно эта лексическая привязка (lambda (a) …) ссылки. На самом деле, если мы посмотрим на возвращенную анонимную функцию сейчас, это не просто (lambda (a) (+ b a)), но печатается более сложным (и менее полезным) способом:

((lambda (b)
   (lexical-let ((b b))
     (lambda (a)
       (+ b a))))
 3)
=> (lambda (&rest --cl-rest--) (apply (lambda (G27322 a) (+ ... a)) (quote --b--) --cl-rest--))

в стороне, не имеет значения, что лексически связанная переменная b имеет то же имя, что и динамически связанный b; мы могли бы использовать (lexical-let ((c b)) ... (+ c a) ...), вместо.