System-Class LIST

UP


System-Class LIST

System Class LIST

クラス優先順位リスト

list, sequence, t

定義

リストは、コンスの連鎖であり、 各コンスのcarがリストの要素、 各コンスのcdrが次の接続のリンクか、 あるいは終端のアトムです。

通常のリストとは、終端が空のリスト()であり、 空のリスト自身が通常のリストであるという、 コンスの連鎖です。 ドットリストとは、終端が空ではなくアトムであるリストです。 循環リストとは、どれかのコンスが、 後のコンスのcdrに接続されているような 終端がないコンスの連鎖のことです。

ドットリストと循環リストもまたリストですが、 本仕様では、普通は修飾子がない「リスト」という単語を 通常のリストという意味として使います。 とはいえ、型listに、 ドットリストと循環リストが含まれるのは間違いありません。

リストの各要素にはコンスがあります。 空リストは要素を持たず、コンスではありません。

consnullは、 型listの完全な分割です。

参考

2.4.1. 左括弧, 22.1.3.5. リストとコンスの印字


TOP, Github