list 1 2 3 為什麼不可以是 cons cons cons nil 1 2 3

1樓：李欣宜

和這個問題同構，我覺得我也沒必要重複回答，可以看一下那個問題下我最喜歡的回答。

定義三元組為為<, c>比定義為>有什麼優勢？

2樓：CodeArhat

Scheme沒預定義nil，Common Lisp才有。

CL函式形式的引數（嚴格）自左向右求值，這決定了cons的巢狀順序，沒法改。

想只用cons函式構造'(2 3)就必須先造出'(3)，作為引數傳到(cons 2 ...)

cons單元倆指標，有先後順序。(cons nil 1)成了點對，再串也不是鍊錶了。

3樓：

Racket（原scheme）裡面很重要的一點就是資料型別的問題，任何乙個函式都要有確定的輸入值的資料型別，可能是Any，可能是List，可能是Num，可能是（anyof Num Bool List），也有可能是你自己(define-struct產生的。對於函式的使用的首要條件就是要求滿足函式要求的資料型別。接下來我們看Racket官網。

在htdp-beginner這個級別裡，cons作為乙個函式要求第乙個argument是Any，第二個是List。而關於List我們知道empty本身也是List這個型別的。沒有看懂的話也沒關係，我們可以做個實驗。

（以上所有內容均基於以下猜想：題主的nil是我說的empty。既然又有了猜想，我們就繼續做實驗。

躺。。。）

歌哥鴿擱胳

謝題主提醒，null在racket裡等於nil。好的，我們再試一下。

我的猜想是成立的。因此已經被證明。thus it has been demonstrated.

4樓：開源醬

你可以自己定義乙個 list 啊（逃

我之前和傘哥聊到過設計一種 list 是左結合的 Lisp，那樣 (list 1 2 3) 出來的就是 (((1 . 2) . 3) . nil)

5樓：Wang Namelos

樓上的同志們，這個跟哪種Lisp好像沒關係吧，John McCarthy的版本應該也是這樣。

不過題主這個問題好像不太對，即使是後面的形式，也得是(cons (cons (cons nil 3) 2) 1)意思上猜類似吧。不然後面解出來的head是3。

如果執意要寫成(cons (cons (cons nil 1) 2) 3)的話讀head就變成開銷最大的操作了，就和第乙個完全不同了。

至於前後哪個元素可能把tail放在後面好看些，不然為啥叫tail呢。而且寫成(cons (cons (cons nil 3) 2) 1)也不好讀，你關心的第乙個元素跑到最後了。

list 1 2 3 為什麼不可以是 cons cons cons nil 1 2 3

為什麼我不可以是富二代？

為什麼妲己可以是狐狸精，但是花木蘭不可以會「氣」？

為什麼不可以喜歡張國榮？

其他用戶還看了：