1

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

`(1 unquote 2)

但是，在 Racket、MIT 方案和 Chez 方案中，我得到一个虚线列表：'(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)

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

4

3 回答 3

2

(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)。

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

`(1 ,'unquote 2)
于 2021-01-19T16:08:14.970 回答
1

根据R5RS，

quasiquote如果任何符号、 unquote、 或unquote-splicing出现在 <qq 模板> 中的位置，而不是如上所述的位置，则可能导致不可预测的行为。

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

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

于 2021-01-19T15:30:57.133 回答
0

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

正如其他人所解释的那样（尤其是 Sorawee），unquote(aka ,) 是一个特殊名称，在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)
于 2021-01-21T14:33:37.783 回答