Имя функции и динамическое связывание в Common Lisp

Вы, наверное, имеете в виду

(progv '(op arg) '(1+ 1)
  (eval '(funcall op arg)))

Изменить (2013-08-21):

PAIP был написан в эпоху, предшествовавшую ANSI-Common-Lisp, поэтому, возможно, код там содержит несколько несоответствий стандарту. Мы можем заставить примеры работать со следующей версией:

(defun match-if (pattern input bindings)
  "Test an arbitrary expression involving variables.
  The pattern looks like ((?if code) . rest)."
  (and (eval (reduce (lambda (code binding)
                       (destructuring-bind (var . val) binding
                         (subst val var code)))
                     bindings :initial-value (second (first pattern))))
       (pat-match (rest pattern) input bindings)))

;; CL-USER> (pat-match '(?x ?op ?y is ?z (?if (eql (?op ?x ?y) ?z))) '(3 + 4 is 7))
;; ((?Z . 7) (?Y . 4) (?OP . +) (?X . 3) (T . T))
;; CL-USER> (pat-match '(?x ?op ?y (?if (?op ?x ?y))) '(3 > 4))
;; NIL

Элементы в первых позициях рассматриваются не как значения, а как функции, и в пространстве имен функций отсутствует концепция динамической привязки.

Я бы сказал после беглого взгляда, что исходный код был разработан для оценки в таком контексте, как

 (progv '(x y) '(12 34)
   (eval '(> (+ x y) 99)))

т.е. оценка формулы, обеспечивающей замену переменных, а не имен функций.

Другие ответы на данный момент верны, поскольку фактическая форма оценки - это не переменные, связанные с progv (просто (op arg)), но ни один из них не упомянул, что оценивается. Фактически, комментарии в коде, который вы связали, предоставляют (очень) краткое объяснение (это единственный код в этом файле, который использует progv):

(defun match-if (pattern input bindings)
  "Test an arbitrary expression involving variables.
  The pattern looks like ((?if code) . rest)."
  ;; *** fix, rjf 10/1/92 (used to eval binding values)
  (and (progv (mapcar #'car bindings)
              (mapcar #'cdr bindings)
          (eval (second (first pattern))))
       (pat-match (rest pattern) input bindings)))

Идея состоит в том, что вызов match-if вызывается как

(match-if '((?if code) . rest) input ((v1 val1) (v2 val2) ...))

и eval вызывается с (second (first pattern)), которое имеет значение code. Однако eval вызывается внутри progv, который связывает v1, v2, и т. Д. С соответствующими val1, val2 и т. Д., Так что если какая-либо из этих переменных появляется в code свободными, то они связываются при оценке code.

Проблема

Проблема, которую я здесь вижу, заключается в том, что по коду мы не можем определить, должно ли значение быть сохранено как symbol-value или symbol-function переменной. Таким образом, когда вы помещаете + в качестве значения некоторой соответствующей переменной, скажем v, тогда оно всегда будет сохраняться как symbol-value из var, а не как symbol-function.
Поэтому, когда вы попытаетесь использовать его как, скажем, (v 1 2) , это не сработает. Поскольку в пространстве имен функций нет функции с именем v (см. this).

Так что делать?

Вероятным решением может быть явная проверка значения, которое должно быть привязано к переменной. Если значение является функцией, то оно должно быть привязано к значению функции переменной. Эту проверку можно выполнить через fboundp.

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

(defmacro functioner (var val)
  `(if (and (symbolp ',val)
            (fboundp ',val))
       (setf (symbol-function ',var) #',val)
       (setf ,var ,val)))


(defun match-if (pattern input bindings)
  (eval `(and (let ,(mapcar #'(lambda (x) (list (car x))) bindings)
                (declare (special ,@ (mapcar #'car bindings)))
                (loop for i in ',bindings
                      do (eval `(functioner ,(first i) ,(rest i))))
                (eval (second (first ',pattern))))
              (pat-match (rest ',pattern) ',input ',bindings))))