使用模式匹配的因子函数

let rec factorial n = match n with
| `0` | 1 -> 1
| n -> n * (factorial (n - 1))

此函数匹配值 0 和 1，并将它们映射到递归定义的基本情况。然后所有其他数字映射到此函数的递归调用。