“match…true->foo false->bar”在ocaml中有特殊含义吗?

是的,这是一个if语句。

经常 match 在OCAML代码中,案例比 if 因此,它可以用于均匀性。

我不同意前面的答案,它可以完成if语句的工作,但比这个更灵活。

有人说:“模式匹配是一种转换语句,但功能要强大10倍。”

请看本教程,解释如何使用模式匹配 Link here

另外,当使用OCAML模式匹配时,允许您将组合数据分解为简单的数据,例如列表、元组等等。

  > Let imply v = 
    match v with 
     | True, x -> x 
     | False, _ -> true;; 

  > Let head = function 
   | [] -> 42 
   | H:: _ -> am;

  > Let rec sum = function 
   | [] -> 0 
   | H:: l -> h + sum l;;