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

引数のパターンマッチには match式をつかう。リストパターンは :: を使える。たとえば： # let rec sum l = match l with [] -> 0 | hd::tl -> hd + sum tl ;; val sum : int list -> int = <fun> # sum [1;3;5;7;9];; - : int = 25</fun>

List.length はリストの長さを返す。 # List.length [1;2;3;4;5];; - : int = 5実装してみる。 # List.length [1;2;3;4;5];; - : int = 5 # let rec length' l = match l with [] -> 0 | hd :: tl -> 1 + length' tl ;; val length' : 'a list -> int = <fun> # l</fun>…

List.append は2つのリストを連結する。 # List.append [1;2;3] [4;5;6];; - : int list = [1; 2; 3; 4; 5; 6]実装してみる。 # let rec append' l1 l2 = match l1 with [] -> l2 | hd::tl -> hd :: append' tl l2 ;; val append' : 'a list -> 'a list -> '…

reverse はリストを逆順にする。 # let rec reverse l = match l with [] -> [] | hd::tl -> (reverse tl) @ [hd] ;; val reverse : 'a list -> 'a list = <fun> # reverse [1;2;3;4;5];; - : int list = [5; 4; 3; 2; 1]</fun>