“取消引用”用作准引用正确列表中倒数第二个符号时的行为

如何解决“取消引用”用作准引用正确列表中倒数第二个符号时的行为

我正在尝试使用 quasiquote 生成列表 (1 unquote 2)。我试过这个：

`(1 unquote 2)

然而，在 Racket、MIT Scheme 和 Chez Scheme 中，我得到了一个虚线列表：'(1 . 2)。

所以我尝试了这个：

`(1 'unquote 2)

但是，我得到 (1 'unquote 2)。

我终于使用这种技术得到了我想要的列表：

`(1 unquote 2,((lambda (x) x) 'unquote) 2)  ; Returns: '(1 unquote 2)

当 unquote 是准引用列表中的倒数第二个元素时，为什么我会从准引用正确列表中得到一个点列表？

实际上，它并不总是产生点状列表。例如：

`(1 unquote (list 2 3 4))  ; Returns: '(1 2 3 4)

当它是准引用列表中的倒数第二个元素时，请解释取消引用的这种奇怪行为。

解决方法

(a b c) 是 (a . (b . (c . ()))) 的简写。

所以 (quasiquote (1 unquote 2)) 真的是 (quasiquote (1 . (unquote 2)))，也就是 '(1 . 2)。

（或者如果你想完全展开它，(quasiquote (1 unquote 2)) 就是 (quasiquote . ((1 . (unquote . (2 . ()))) . ()))）

同样，(quasiquote (1 unquote (list 2 3 4))) 真的是 (quasiquote (1 . (unquote (list 2 3 4)))) = (quasiquote (1 . (2 3 4))) = '(1 2 3 4)。

顺便说一下，使用 quasiquote 生成 '(1 unquote 2) 的一种更简单的方法是：

`(1,'unquote 2)

,

根据R5RS，

如果任何符号 quasiquote、 unquote 或 unquote-splicing 出现在 与上述不同。

并且您的职位不是“如上所述” - 表格必须是 (unquote expression ...)。

它已升级为 R6RS 中的语法违规。

,

[写答案而不是评论，因为不可能在评论中正确格式化反引号。 Lisp/Scheme 仍然比 markdown 处理得更好;-) ]

正如其他人所解释的（尤其是 Sorawee），unquote（又名 ,）是一个特殊名称，在 quasiquoted 列表（又名反引号）中时会被特殊对待。为了防止其特殊含义，一个简单的解决方法是确保特殊名称不会以文本形式出现。 请注意，unquote 在 quote 内没有特殊含义（与 quasiquote 内相反）。

因此这将适用于 Scheme 的所有变体：

(define unquote-sym 'unquote) ; `unquote` is inside `quote`,so it's a mere symbol here

`(1,unquote-sym 2) ; '(1 unquote 2)