match式とリストパターン

引数のパターンマッチには 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