为什么 LET 在我的 quine 中不能与 EVAL 一起玩？

Question

我正在尝试编写 Common Lisp quine。我认为最简单的选择之一如下：

(let ((program '`(let ((program ',program )
                   (print (eval program)))))
  (print (eval program))))

这不起作用，SBCL 和 CLISP 都抱怨 PROGRAM 未绑定。但是，我确实发现使用 DEFPARAMETER 与 LET 不同，确实有效：

(progn
  (defparameter program
                '`(progn
                    (defparameter program
                                  ',program)
                    (print (eval program))))
  (print (eval program)))

对于第二个示例，打印的代码和编写的代码之间的唯一区别是空格和大写，我可以轻松修复。但是，我仍然不明白为什么我的第一次尝试没有奏效。正如我所见，唯一的区别是变量的范围，但它似乎真的不重要，因为我正在评估包含它的范围内的程序。

Answer 1

(let ((program '`(let ((program ',program )
                   (print (eval program)))))
  (print (eval program))))

Common Lisp 标准说 eval:

Evaluates form in the current dynamic environment and the null lexical environment.

因为program是一个词法变量，所以它对eval是不可见的。

为什么 LET 在我的 quine 中不能与 EVAL 一起玩？

Why does LET not play nice with EVAL in my quine?

lisp

common-lisp

eval

quine