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> # length' [1;2;3;4;5];; - : int = 5