列表中最後一個元素指向Scheme的是什麼？

Question

當我在Scheme中創建一個列表時，最後一對的cdr指向什麼？這是一個'空單詞'還是'空單'？ DrScheme不介意(cons 'a empty)和(cons 'a '())。最後，空白詞和空白列表有什麼區別？

Answer 1

DrScheme不介意你cons -ing，因爲cons可以做的不僅僅是建立名單。從參考，

(cons a d) → pair? 
    a : any/c 
    d : any/c

這意味着cons建立配對。這也是完全合法的做

> (cons 1 2) 
(1 . 2) 

這不是一個名單，但仍然可以讓你做

> (car (cons 1 2)) 
1 
> (cdr (cons 1 2)) 
2 

但不管怎麼說，「空字」和「空列表」是同一個對象，可以通過檢查

> (eq? empty '()) 
#t 

Answer 2

最後一對的cdr指向'（），空列表。

Answer 3

如果您評估符號empty，可以找到您所有問題的答案。它被定義爲等於'()，空列表，這是最後一個cdr指向的內容。要說服自己，試試這個：

(cdr (list 1 2 3)) 
(cdr (cdr (list 1 2 3))) 
(cdr (cdr (cdr (list 1 2 3))))