list - 使用两个反引号和逗号，Common Lisp

Question

我正在学习通用 lisp，但在理解两个反引号和两个逗号的用法时遇到了问题:

``(a ,,(+ 1 2))

我的意思是，我不知道为什么它被评估为:

`(A ,3)

而不是这样的:

`(A 3)

我在解释自己，两个逗号都被“消耗”了，以便评估表单前面的两个反引号，所以没有一个逗号应该离开，但仍然有一个。
看起来如何

``(a ,,(+ 1 2))

仅使用 list 和 ' ?

Answer 1

从规范

这就是 Common Lisp HyperSpec 关于嵌套 backticks 的说法。 :

If the backquote syntax is nested, the innermost backquoted form should be expanded first. This means that if several commas occur in a row, the leftmost one belongs to the innermost backquote.

R5RS 方案规范还包括有关 backticks 的这些详细信息。 :

Quasiquote forms may be nested. Substitutions are made only for unquoted components appearing at the same nesting level as the outermost backquote. The nesting level increases by one inside each successive quasiquotation, and decreases by one inside each unquotation.

还要记住，每次评估只有一个反引号被折叠，就像常规引用一样，它不是递归的。

行动规则

要了解这三个细节如何相互作用，让我们稍微扩展一下您的示例。这个表情...

``(a ,,(+ 1 2) ,(+ 3 4))

对此进行评估(以 SBCL 表示法):

`(A ,3 ,(+ 3 4))

左边的反引号被折叠了，所以它是 (+ 1 2)被匹配的逗号转义(根据 HyperSpec，第二个逗号)。

另一方面，(+ 3 4)没有足够的逗号来扩展(这是 R5RS 提到的)。

只有一个反引号被折叠，因为反引号不会递归扩展。

扩展两个逗号

为了摆脱另一个反引号，需要另一个级别的评估:

(eval ``(a ,,(+ 1 2) ,(+ 3 4)))

两个反引号都消失了，我们只剩下一个简单的列表:

(A 3 7)