私は、次のコードは、（ `IGNORECASEは、私が他の場所で定義されているアクティブなパターンです）持って試合

Question

ネガパターン：あなたが見ることができるように

match myType with 
| {Field1 = IgnoreCase "invalid"} -> None 
| {Field2 = Some f2 
    Field3 = Some f3 
    Field4 = None | Some (0 | 1 | 2)} 
    -> Some (f2, f3) 
| _ -> None 

、Field1はブラックリストに値を持っているとField4が値をホワイトリストに登録しました（そうField2を行いますそしてField3という意味ではSomeでなければなりません）。 IMHO同じケースですべてのチェックを行うことができれば、つまり、Field1 = IgnoreCase "invalid"の一致を他の一致と一緒に行うことができます。 Field1 <> IgnoreCase "invalid"ですが、その特定の例はコンパイルされません。私はガードについて知っていますが、それは元の解決策よりもきれいには見えません。

ガードを使用せずに値が他の値と一致しないという意味で「否定」（論理NOT）パターンのマッチングは可能ですか？そして、あなたはパターンマッチの内側にそれを使用することができます

let (|Not|_|) a b = if a <> b then Some() else None 

：

Answer 1

は、私の知る限りでは、これを行うには良い方法はありません。サポートされているパターンhereが表示され、否定の構文がないことを確認できます。そのような特徴の欠如の1つの理由は、それが他のパターンマッチング機能（例えば、否定的な文脈の中にasパターンを有する識別子を導入することを意味するもの）と奇妙にやりとりすることであるかもしれない。これは、アクティブパターンがパターン式ではなく値を受け取るため、アクティブパターンを介して一般的な方法で実装できるものではありません。

Answer 2

私はあなたがNotと呼ばれるアクティブパターンを定義することができ、この

let (|Check|_|) x = 
    let = { Field2 = f2; Field3 = f3; Field4 = f4 } 
    let check = 
     f4 = None || 
     f4 = Some 1 || 
     f4 = Some 2 || 
     f4 = Some 3 
    if check then Some (f2, f3) else None 

    match myType with 
    | {Field1 = "invalid"} -> None 
    | Check (x, y) -> Some (x, y) 
    | _ -> None 

Answer 3

のようなアクティブなパターンを使用することになり

match myType with 
| {Field1 = Not "invalid" 
    Field2 = Some f2 
    Field3 = Some f3 
    Field4 = None | Some (0 | 1 | 2)} 
    -> Some (f2, f3) 
| _ -> None 

このアクティブなパターンの制限は、それがリテラル値でなければならないということです。サブパターン。アクティブなパターンは、組み込みのパターンのように合成できません。あなたはそれではなく、識別子に新しい値を結合の値として識別子を渡すことができますので、しかし、それはまた、潜在的な利点です：

let invalidString = "invalid" 

match myType with 
| {Field1 = Not invalidString 
...