如何仅使用cons对实现嵌套列表？

Question

我正在制作一个纯粹的Lisp解释器，并尝试编写一个读取器将列表转换为cons对。

从我所阅读的内容中可以看出内部构成对，例如：

( 1 2 3 ) = (1.(2.(3.NIL)))

但我不知道如何使用cons对

实现嵌套列表，例如以下内容

( (1 2) (3 4 ) (5 6 ) )

这应该是什么样的未缩写？

Answer 1

CL-USER 40 > (sdraw::sdraw '( (1 2) (3 4 ) (5 6 ) ))

[*|*]------------------>[*|*]------------------>[*|*]--->NIL
 |                       |                       |
 v                       v                       v
[*|*]--->[*|*]--->NIL   [*|*]--->[*|*]--->NIL   [*|*]--->[*|*]--->NIL
 |        |              |        |              |        |
 v        v              v        v              v        v
 1        2              3        4              5        6

Answer 2

那将是

> '((1 . (2 . ())) . ((3 . (4 . ())) . ((5 . (6 . ())) . ())))
'((1 2) (3 4) (5 6))

或

? '((1 . (2 . nil)) . ((3 . (4 . nil)) . ((5 . (6 . nil)) . nil)))
((1 2) (3 4) (5 6))

请参阅this question获取一个Scheme程序（转换为Common Lisp很简单），将列表打印为虚线对。