Создание лямбда из s-выражения
У меня есть s-выражение, привязанное к переменной в Common Lisp:
(defvar x '(+ a 2))
Теперь я хочу создать функцию, которая при вызове оценивает выражение в той области, в которой оно было определено. Я пробовал это:
(let ((a 4))
(lambda () (eval x)))
и
(let ((a 4))
(eval `(lambda () ,x)))
Но оба из них создают проблему: EVAL будет оценивать код на верхнем уровне, поэтому я не могу захватить переменные, содержащиеся в выражении. Обратите внимание, что я не могу поместить форму LET в EVAL. Есть какое-нибудь решение?
Обновлено: Итак, если нет решения проблемы EVAL, как еще это можно сделать?
Обновлено: Возник вопрос о том, что именно я пытаюсь сделать. Пишу компилятор. Я хочу принять s-выражение с закрытыми переменными в лексической среде, в которой это выражение определено. Возможно, действительно лучше написать это как макрос.
Читаю из внешнего источника.
Ответы 5
CLISP реализует расширение для оценки формы в лексической среде. Учитывая тот факт, что это расширение, я подозреваю, что вы не можете сделать это стандартным способом.
(ext:eval-env x (ext:the-environment))
В Common Lisp вы можете определить * evalhook *, который позволяет вам передавать среду (eval ...). *evalhook* не зависит от платформы.
очень верно, кажется, они были удалены ANSI
Какую актуальную проблему вы хотите решить? Скорее всего, вы пытаетесь решить эту проблему неправильно. Лексические привязки предназначены для вещей, которые лексически появляются в пределах их области видимости, а не для случайных вещей, которые вы получаете извне.
Может быть, вам нужно динамическое закрытие? Такой вещи нет в Common Lisp, хотя она есть в некоторых диалектах Lisp (например, в Pico Lisp, насколько я понимаю).
Обратите внимание, что вы может делаете следующее, что похоже:
(defvar *a*)
(defvar *x* '(+ *a* 2)) ;'
(let ((a 10))
;; ...
(let ((*a* a))
(eval *x*)))
Однако я советую вам хорошенько подумать, действительно ли вы этого хотите.
Вам нужно создать код с необходимыми привязками. Оберните код LET и привяжите каждую переменную, которую вы хотите сделать доступной в своем коде:
(defvar *x* '(+ a 2))
(let ((a 4))
(eval `(let ((a ,a))
,*x*)))
Можно использовать COMPILE для компиляции выражения в функцию, а затем использовать PROGV для FUNCALL скомпилированной функции в среде, где переменные устанавливаются динамически. Или, лучше, используйте COMPILE для компиляции выражения в функцию, которая принимает переменные.
Компиляция принимает определение функции в виде списка и превращает его в функцию. В случае SBCL эта функция компилируется в машинный код и будет выполняться эффективно.
Первый вариант (с использованием компиляции и progv):
(defvar *fn* (compile nil '(lambda () (+ a 2)))
(progv '(a) '(4) (funcall *fn*))
=>
6
Второй вариант:
(defvar *fn* (compile nil '(lambda (a) (+ a 2))))
(funcall *fn* 4)
=>
6
Откуда у вас внутреннее выражение? Если вы не читаете его из внешнего источника, вы можете попробовать использовать макрос вместо eval.