如何在2条记录的字段上进行模式匹配？

Question

type A =
  {
    ...
    id: int;
    ...
  }

我希望我能做到这一点

let Add (x:A) (y:A) =
     match x,y with
      | {x.id=0,y.id=1} -> ...

如果我不关心x和y的顺序（这样函数是对称的）也有任何定义函数的技巧我也不介意参数是tuple (x,y)还是更高订单函数x,y

Answer 1

另一种语法是：

let add x y =
    match x, y with
    | {id = 0}, {id = 1} | {id = 1}, {id = 0} -> ..
    | _ -> ..

请参阅http://msdn.microsoft.com/en-us/library/dd547125.aspx上的“记录模式”部分。

Answer 2

let add (x: A) (y: A) =
     match x.id, y.id with
     | 0, 1 | 1, 0 -> (* do some thing *)
     | _ -> (* do some thing else *)

如果您只关心字段，请直接在其上进行模式匹配。 并且您可以使用Or模式来实现对称功能。