f# - 具有可区分联合的主动模式匹配

Question

有没有办法将以下形式的可区分联合与事件模式匹配一​​起使用？我一直没能找到任何例子。

这就是我想要做的:

type c = a | b

type foo =
  | bar1
  | bar2 of c

//allowed
let (|MatchFoo1|_|) aString =
  match aString with
  | "abcd" -> Some bar1
  | _ -> None

//not allowed
let (|MatchFoo2|_|) aString =
  match aString with
  | "abcd" -> Some (bar2 of a)
  | _ -> None

为什么“Some”不能用于第二种方式？有没有另一种方法可以实现同样的目标？

Answer 1

您只需要使用 of在声明类型时，您可以使用 bar2 构造值构造函数如:

bar2 a

如果您将其更改为，您的第二个功能应该可以工作:

let (|MatchFoo2|_|) aString =
  match aString with
  | "abcd" -> Some (bar2 a)
  | _ -> None