scheme里quote怎么理解最好？

Question

为什么(quote (quote cons))的值是 ''cons 而 (car (quote (quote cons )))的值是quote,
求值过程是怎么样的？希望知道答案的同学详细解释一下，感激不尽！

Answer 1

Scheme 实现 quote 的初衷是希望把代码也视为数据进行处理。
quote 它并不是一般的 lambda 过程，quote 是在编译时期执行的，而不是运行时期。
quote 的参数如果是一个列表结构的话，那么会在编译时期（注意不是运行时期）创建一个列表。
参数如果是一个变量的话，那么会生成一个 Symbol。
参数如果是数字，字符等常量的话，那么会返回常量本身。（顺便一提，(void) 的值也被视作常量）

' 是 quote 的一个语法糖，'<一段 S表达式 代码> 其实就是 (quote <一段 S表达式 代码>)，
你可以理解成解释器在遇到 '< s-exp > 的时候，自动文本替换为 (quote < s-expr >)

(quote (quote cons)) 的语义是，在编译时期，执行 (list (quote quote) (quote cons))，创建一个列表。

另外，当 Scheme 输出一个第一个元素为 'quote ，且只有两个元素的列表时，会进行一些优化。
比如说运行 (list 'quote 123) 类似于运行 ''123 会显示为 '123
运行(list 'quote 'cons) 类似于运行 ''cons 会显示为 'cons
运行(list 'quote (list 'quote 'cons)) 类似于运行 '''cons 会显示为 ''cons