2008-01-13 リスト OCaml あいだが開いてしまった。多相や型推論の部分はどうにも頭の整理できないので,先に進もう。リストは全体を [ と ] で囲って,要素を ; で区切る。[]は空リストを表す。 # [1;2;3];; - : int list = [1; 2; 3] # [];; - : 'a list = [] ||< ::(コンスオペレーター)で要素をリストの先頭に追加する。 >|| # 1 :: [2;3;4;5];; - : int list = [1; 2; 3; 4; 5]