实施微型手册LISP

Question

我正在为LISP定义一个解释器,

我的问题是论文指出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))