(cons 'car
(cons (cons 'quote
(cons
(cons 'a
(cons 'b
(cons 'c
(quote ()))))
(quote ()))
)
(quote ())))
第一步
(cons 'a
(cons 'b
(cons 'c
(quote ()))))
结果为 (a b c)
第二步
(cons '(a b c) (quote ())) 等价于 (cons (quote (a b c)) (quote ()))
结果为((a b c))
第三步
(cons 'quote '((a b c)))
相当于(占位符 (a b c))在占位符处插入了quote
结果为(quote (a b c))
第四步
(cons '(quote (a b c)) (quote ()))
结果为((quote (a b c)))
第五步
(cons 'car '((quote (a b c))))
相当于(占位符 (quote (a b c)))在占位符处插入了car
结果为(car (quote (a b c)))
内容来自 the little scheme中第178页