リスト

あいだが開いてしまった。多相や型推論の部分はどうにも頭の整理できないので，先に進もう。

リストは全体を [ と ] で囲って，要素を ; で区切る。[]は空リストを表す。

# [1;2;3];;
- : int list = [1; 2; 3]
# [];;
- : 'a list = []
||<
::（コンスオペレーター）で要素をリストの先頭に追加する。
>||
# 1 :: [2;3;4;5];;
- : int list = [1; 2; 3; 4; 5]