lisp - 实现微型手动 LISP

Question

我正在为中定义的 LISP 实现解释器，

http://www.scribd.com/vacuum?url=http://www.ee.ryerson.ca/~elf/pub/misc/micromanualLISP.pdf

我的问题是论文指出 LIST 是，

4. (LIST e1 ... en) is defined for each n to be 
   (CONS e1 (CONS ... (CONS en NIL))).

因此，当用户读取列表时，例如，

(QUOTE (B C D (E F)))

使用上面的结构就变成了，

(QUOTE B C D E F)

没有办法区分嵌套列表，这一切都变成了一个巨大的缺点链。

我是不是漏掉了什么？

Answer 1

(QUOTE (B C D (E F))) 是

(CONS B (CONS C (CONS D (CONS (CONS E (CONS F NIL)) NIL))))

(QUOTE (B C D E F)) 是

(CONS B (CONS C (CONS D (CONS E (CONS F NIL)) NIL)))

或者换句话说:
(LIST D (LIST E F)) = (CONS D (CONS (LIST E F) NIL))
(LIST D E F) = (CONS D (LIST E F))