常见Lisp中的反向引号:读和法

Question

这个问题在某种程度上回答了this和this for Elisp。基本上，反向报价是如何阅读和评估的？正在发生什么过程？标准上说了什么吗？

这里是我所期望的，但是没有发生：符号is a reader-macro and is translated into some kind of(BACKQUOTE .)macro/special form (similarly to‘being translated to(引号.)). This doesn't happen, and, in fact, Common Lisp doesn't even have aBACKQUOTE宏。

正在发生的事情(SBCL)：

CL-USER> (defparameter *q* (read-from-string "`(a b ,c)"))
*Q*
CL-USER> *q*
`(A B ,C)
CL-USER> (car *q*)
SB-INT:QUASIQUOTE
CL-USER> (cdr *q*)
((A B ,C))

一些与预期不同的东西，但没问题。现在，,C本身就是一只有趣的野兽：

CL-USER> (type-of (third (cadr *q*)))
SB-IMPL::COMMA

如果没有逗号符号，则计算读取表达式的值是可以的：

CL-USER> (eval (read-from-string "`(a b c)"))
(A B C)

但是，如果我想计算原始表达式，即使使用C的本地绑定，也有一个问题：

(let ((c 10)) (eval (read-from-string "`(a b ,c)")))
; in: LET ((C 10))
;     (LET ((C 10))
;       (EVAL (READ-FROM-STRING "`(a b ,c)")))
; 
; caught STYLE-WARNING:
;   The variable C is defined but never used.
; 
; compilation unit finished
;   caught 1 STYLE-WARNING condition
; Evaluation aborted on #<UNBOUND-VARIABLE C {1007A3B2F3}>.

这意味着EVAL没有获得绑定C的环境。

PS。有趣的是，在Elisp中，这是可行的。

Answer 1

反向报价

Backquote是公共Lisp中的标准macro character。

在公共Lisp中，反引号表达式的表示形式未定义。实现实际上使用不同的表示形式。您看到的SBCL是特定于实现的。

EVAL

eval的问题与读取器或反向引用表达式完全无关：

? (let ((c 10))
    (eval '(list 'a 'b c)))

Error: The variable C is unbound.

在通用的Lisp中，EVAL使用动态环境和null lexical environment来评估表单。不使用上面的词法环境(其中c绑定到10 )。

但动态绑定是。我们需要声明变量为special

? (let ((c 10))
    (declare (special c))
    (eval '(list 'a 'b c)))
(A B 10)

因此，这也适用于：

? (let ((c 10))
    (declare (special c))
    (eval (read-from-string "`(a b ,c)")))
(A B 10)

默认情况下，Emacs具有/具有动态绑定(尽管GNU现在也支持词法绑定)。默认情况下，公共Lisp具有词法绑定。