System Class LIST
リストは、コンスの連鎖であり、 各コンスのcar
がリストの要素、 各コンスのcdr
が次の接続のリンクか、 あるいは終端のアトムです。
通常のリストとは、終端が空のリスト()
であり、 空のリスト自身が通常のリストであるという、 コンスの連鎖です。 ドットリストとは、終端が空ではなくアトムであるリストです。 循環リストとは、どれかのコンスが、 後のコンスのcdr
に接続されているような 終端がないコンスの連鎖のことです。
ドットリストと循環リストもまたリストですが、 本仕様では、普通は修飾子がない「リスト」という単語を 通常のリストという意味として使います。 とはいえ、型list
に、 ドットリストと循環リストが含まれるのは間違いありません。
リストの各要素にはコンスがあります。 空リストは要素を持たず、コンスではありません。
2.4.1. 左括弧, 22.1.3.5. リストとコンスの印字