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