リスト

複合データ型．各要素へのアクセスは遅い．[]で囲まれた要素で表現する

27> [1,2,3,4,5].
[1,2,3,4,5]

prologみたく[|]でheadとtailを表す．[|]は2項演算子でconsと呼び，[]は定数でnilと呼ぶらしい．

6> [1 | [2 | []]].
[1,2]

BIFとしてhd, tl, sizeなどがある．

10> length(Y).
4
11> hd(Y).
2
12> tl(Y).
[3,4,5]

和と差をとることができる．

13> [1,2,3] ++ [4,5,6].
[1,2,3,4,5,6]
14> [1,2,3] -- [3,4,5].

差は重複まで消さない．あと，++も--も右結合

15> [1,2,3,3] -- [3,4,5].
[1,2,3]
17> [1,2,3] -- [3,4,5] -- [1,2,3].
[1,2,3]