* Schemeにおけるlistの実際 [#q520ffb7]

#contents

#br
* listはペアのペアである [#z7e5df6a]

英語が読める方:[[SICP英語版:http://mitpress.mit.edu/sicp/]]のfull-textから''2.2.1  Representing Sequences''辺りをお読みください。~
~
英語なんて読めない or 嫌い or 読むのめんどくせな方:もうしばらくお待ちください

* 内部ではどうなっているのか? [#g7623a79]

上に同じ

*謎のドット [#jfd4b2c6]

リストを印字したときに、ドットが現れたり現れなかったりするのはどういうことでしょうか?

一言でいうと、これは「ある条件の時にはドットを表示しない略式を使うことになっている」からです。~
基本的にすべてドットがあるのですが、省略されているのです。

上の節で(まだちゃんと書いてませんが・・・)リストはペアのペアであることを見ました。~
ペアのcar部とcdr部の区切りには必ずドットがつきます。~
ですから、省略せずに書くとすれば

 (cons 1 2) → (1 . 2)
 (cons (cons 1 2) (cons 3 4)) → ((1 . 2) . (3 . 4))
 (list 1 2 3) → (1 . (2 . (3. ())))

となります。

では省略するルールを見ていきましょう。~
といっても一つだけですが。

+ドットの直後がカッコでくくられたペアなら、そのドットとカッコを省略する

これを内側から順に適用すると(外側からでも問題ありませんが)
 (list 1 2 3) → (1 . (2 . (3. ()))) → (1 . (2 . (3))) → (1 . (2 3)) → (1 2 3)
                            ~~~~              ~~~ ~        ~~~   ~
となります。

なぜこのようなルールで省略するのかは正確には知りませんが、恐らくリストを見やすく書くためであろうと思われます。