Question

(car ''abracadabra)相当于(car (quote (quote abracadabra))，评估为(car (quote abracadabra)) - ＆gt; quote

另一方面(car (quote (a b)))评估为a，这对我来说很直观。

所以我的问题是，为什么Scheme不评估(car (quote (quote abracadabra))中的第二个引用（即评估(car (quote abracadabra))到(car abracadabra)），但确实评估了(car (quote (a b)))中的引用（即为什么不是答案quote）？

Answer 1

在这个表达式中：

(car (quote (quote abracadabra)))
=> 'quote

内部quote未得到评估，它只是符号，没有特别含义。您也可以将其更改为其他任何内容，但结果相同：

(car (quote (foobar abracadabra)))
=> 'foobar

在引用的表达式中，不会评估其他表达式。我们可以使用quasiquoting来强制进行评估，现在这将尝试评估内部引用，从而导致每种情况出现不同的错误：

(car (quasiquote (unquote (quote abracadabra))))  ; (car `,(quote abracadabra))
=> car: contract violation expected: pair? given: 'abracadabra

(car (quasiquote (unquote (foobar abracadabra)))) ; (car `,(foobar abracadabra))
=> foobar: unbound identifier in module in: foobar

Answer 2

Scheme不评估内部引用，因为内部引用位于外引号内，并且不评估引号内的表达式。也就是说，如果您撰写(quote foo)，则永远不会评估foo - 即使foo是对quote的另一次调用。

Answer 3

当scheme计算组合时，它会评估运算符。然后它将适用，如果它是一个特殊的形式或宏。如果没有，它将在应用之前评估每个操作数。

(car (quote (quote abracadabra)))

可以像这样评估*

汽车评估为＃＆lt; proc car＆gt;。因为它是一个程序以任何顺序评估所有操作数
（引用（引用abracadabra））是一个组合，因此
- 引用评估=＆gt; ＃＆lt; macro quote＆gt;并且因为它的宏/特殊形式是宏应用
- apply-macro（＃＆lt; macro quote＆gt;（引用abracadabra）））=＆gt; （引用abracadabra）
apply-proc（＃＆lt; proc car＆gt;（引用abracadabra））=＆gt;报价

*实际上，Scheme可以隐藏任何关键字，因此上下文非常重要。 E.g：

(let ((quote list) (abracadabra 'simsalabim))
  (car (quote (quote abracadabra)))) 
==> (simsalabim)

方案何时评估报价？

3 个答案: