计算列表中数字的总和

通过递归

let rec sumTotal list = 
    match list with
    | [] -> 0 // empty list -> return 0
    | head::tail -> head + sumTotal tail

上面的例子说：“看看 list，它是空的吗？返回 0.否则它是一个非空列表。所以它可能是 [1]，[1; 2]，[1; 2; 3]等。如果 listis [1]那么将变量 head 绑定到 1，将 tail 绑定到 []，然后执行 head + sumTotal tail。

执行示例：

sumTotal [1; 2; 3]
// head -> 1, tail -> [2; 3]
1 + sumTotal [2; 3]
1 + (2 + sumTotal [3])
1 + (2 + (3 + sumTotal [])) // sumTotal [] is defined to be 0, recursion stops here
1 + (2 + (3 + 0)))
1 + (2 + 3)
1 + 5 
6

封装上述模式的更一般方法是使用功能性折叠！ sumTotal 变成了这个：

let sumTotal list = List.fold (+) 0 list