问从s表达式创建lambda

EN

您需要创建具有必要绑定的代码。用字母括起你的代码，并绑定你想要在你的代码中可用的每个变量：

(defvar *x* '(+ a 2))

(let ((a 4))
  (eval `(let ((a ,a))
           ,*x*)))

CLISP实现了一个扩展来评估词法环境中的形式。从它是一个扩展的事实来看，我怀疑你不能以一种符合标准的方式做到这一点。

(ext:eval-env x (ext:the-environment))

参见http://clisp.cons.org/impnotes.html#eval-environ。

你想解决的实际问题是什么？最有可能的是，您试图以错误的方式处理它。词法绑定是针对在其作用域内以词法出现的内容，而不是针对从外部获得的随机内容。

也许你想要一个动态闭包？这样的东西在Common Lisp中是不存在的，尽管在一些Lisp方言中是存在的(就我所知，像Pico Lisp )。

请注意，您可以执行以下操作，这与此类似：

(defvar *a*)
(defvar *x* '(+ *a* 2))  ;'

(let ((a 10))
  ;; ...
  (let ((*a* a))
    (eval *x*)))

不过，我建议你认真考虑一下你是否真的想这样做。