使用模式匹配定义函数

关键字 function 可用于在函数的最后一个参数上启动模式匹配。例如，我们可以编写一个名为 sum 的函数，它以这种方式计算整数列表的总和

let rec sum = function
  | [] -> 0
  | h::t -> h + sum t
;;

val sum : int list -> int = <fun>