引数のパターンマッチには 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
takatoh's blog – Learning programming languages.
引数のパターンマッチには 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