functional-programming - 为什么在 OCaml 中使用模式匹配

Question

让我们考虑一下这个小函数

let f x =
     match x with
         0 -> 1 |
         _ -> x ;;

这在逻辑上等同于

let f x = 
   if x = 0 then 1 else x ;;

如果我们可以使用 if/else 实现相同的模式匹配，那么模式匹配的目的是什么？

Answer 1

在您的精确示例中，模式匹配不会带来很多，因为您只有 2 个案例，更重要的是因为您的模式没有任何变量。只要用if/then/else写这个例子，你就会明白:

let rec map f = function
    [] -> []
  | a::l -> let r = f a in r :: map f l

另请注意，如果您有多余的案例或您忘记了某些案例，模式匹配会警告您。