在ocaml中同时匹配多个模式

像这样的图案 pat1 | pat2 匹配两种模式中的任何一种:

let rec swag y = 
match y with
| A _ -> 1
| B _ -> 2
| C (left,right) | D (left,right) -> (swag left) + (swag right)

自然,这两种模式必须将相同的名称(在本例中为左和右)与相同的类型绑定。

杰弗里的回答很正确。您可能希望考虑,如果您有几个对相同信息进行编码的构造函数,那么构造函数的名称是否只是用作标志,其中您可以更直接地表示这种关系。例如。

type flag = C | D

type yolo = 
| A of string
| B of yolo
| X of flag * yolo * yolo

然后:

let rec swag y = 
  match y with
  | A _ -> 1
  | B _ -> 2
  | X (_, left, right) -> swag left + swag right

您也可以使用 function 此处的关键字。

let rec swag = function 
  | A _ -> 1
  | B _ -> 2
  | X (_, left, right) -> swag left + swag right