リスト (抽象データ型)
型のないミュータブルなリストはコンストラクタと4つの操作によって特徴付けられる:
空のリストを作るコンストラクタ
リストが空かどうかを確かめる操作
リストの先頭に要素を追加する操作(Lispのcons)
リストの先頭要素 ("head") を求める操作(Lispのcar)
リストの先頭を除く部分リスト ("tail") を求める操作(Lispのcdr)