脆弱なパターンマッチングを解決するための提案

Question

同じコンストラクタを持つ値のタプルを照合する必要があることがよくあります。キャッチオール_,_は常に最後に巻き上げられます。これはもちろん壊れやすく、型に追加された追加のコンストラクタは完全にコンパイルされます。私の現在の考えは、第一引数ではなく第二引数を結ぶマッチを持つことです。しかし、他の選択肢はありますか？例えば

、

type data = | States of int array 
      | Chars of (char list) array 

let median a b = match a,b with 
    | States xs, States ys -> 
     assert((Array.length xs) = (Array.length ys)); 
     States (Array.init (Array.length xs) (fun i -> xs.(i) lor ys.(i))) 
    | Chars xs, Chars ys -> 
     assert((Array.length xs) = (Array.length ys)); 
     let union c1 c2 = (List.filter (fun x -> not (List.mem x c2)) c1) @ c2 in 
     Chars (Array.init (Array.length xs) (fun i -> union xs.(i) ys.(i))) 
    (* inconsistent pairs of matching *) 
    | Chars _, _ 
    | States _, _ -> assert false 

Answer 1

あなたは以下のやや短いパターンを使用することができます実際には

| (Chars _| States _), _ -> assert false 

を、あなたはそれがまだ少し面倒なので、コンパイラは、あなたのためにそれを発生させることができます。 型は、以下とコンパイル：

let median a b = match a,b with 
| States xs, States ys -> 
    assert((Array.length xs) = (Array.length ys)); 
    States (Array.init (Array.length xs) (fun i -> xs.(i) lor ys.(i))) 
| Chars xs, Chars ys -> 
    assert((Array.length xs) = (Array.length ys)); 
    let union c1 c2 = (List.filter (fun x -> not (List.mem x c2)) c1) @ c2 in 
    Chars (Array.init (Array.length xs) (fun i -> union xs.(i) ys.(i))) 

警告8：このパターンマッチングが 網羅的ではありません。ここで の例一致しない値である：（文字数_は、 アメリカ_）は

今、あなたのコードに戻って提案パターンをコピー＆ペーストすることができます。これは、通常、何十というコンストラクタを持つ型に対して非壊れやすいキャッチオールパターンを生成する方法です。コンパイラーを何度も起動する必要があるかもしれませんが、それは自分で入力するよりも速いです。

Answer 2

これは非常にハイキッシュなので（警告になります）、Objを使用して、タグが等しいかどうかを確認できます。これは、aおよびbは異なる値を持つすべてのケースをキャッチする必要があります（それは守ら句は休息と一致するかどうかを言うことができないので）

type data = | States of int array 
      | Chars of (char list) array 

let median a b = match a,b with 
    | States xs, States ys -> 
     assert((Array.length xs) = (Array.length ys)); 
     States (Array.init (Array.length xs) (fun i -> xs.(i) lor ys.(i))) 
    | Chars xs, Chars ys -> 
     assert((Array.length xs) = (Array.length ys)); 
     let union c1 c2 = (List.filter (fun x -> not (List.mem x c2)) c1) @ c2 in 
     Chars (Array.init (Array.length xs) (fun i -> union xs.(i) ys.(i))) 
    (* inconsistent pairs of matching *) 
    | x, y when (Obj.tag (Obj.repr x)) <> (Obj.tag (Obj.repr y)) -> assert false 

警告は非網羅的パターンマッチングのためです。

EDIT：あなたはまったくのObjを使用する必要はありません、あなただけの直接のxとyを比較することができます：

| x, y when x <> y -> assert false 

これはまだ残念ながら、警告になりますが。

Answer 3

これは味覚/スタイルの問題でしかありませんが、私は最初にすべての有用な節を持つのではなく、すべての "ばかげた場合"を一緒にまとめる方が好きです。これは、与えられたコンストラクタに対していくつかの "便利な"節を書くことができ、あなたが何かを忘れていないことを確認したいときに非常に役に立ちます。

let median a b = match a,b with 
    | States xs, States ys -> 
    assert((Array.length xs) = (Array.length ys)); 
    States (Array.init (Array.length xs) (fun i -> xs.(i) lor ys.(i))) 
    | States _, _ -> assert false 

    | Chars xs, Chars ys -> 
    assert((Array.length xs) = (Array.length ys)); 
    let union c1 c2 = (List.filter (fun x -> not (List.mem x c2)) c1) @ c2 in 
    Chars (Array.init (Array.length xs) (fun i -> union xs.(i) ys.(i))) 
    | Chars _, _ -> assert false