明示的な一致ステートメントを使用してワイルドカード値を識別する必要がありますか？

Question

ワイルドカード値を特定するために明示的な一致ステートメントを使用する必要がありますか？

はたとえば、次の関数を取る：

let (|Positive|Neutral|Negative|) = function 
    | x when x > 0 -> Positive 
    | x when x = 0 -> Neutral 
    | x when x < 0 -> Negative 
    | _   -> failwith (sprintf "unknown: %d" _) 

エラー：

Unexpected symbol '_' in expression

私はエラーなしでこれを行うことができますことを学んだ

：

let (|Positive|Neutral|Negative|) v = 
    match v with 
    | x when x > 0 -> Positive 
    | x when x = 0 -> Neutral 
    | x when x < 0 -> Negative 
    | _   -> failwith (sprintf "unknown: %d" v) 

更新

は、ここに掲載の答えからの結果だ：

は

let (|Positive|Neutral|Negative|) = function 
    | x when x > 0 -> Positive 
    | x when x = 0 -> Neutral 
    | x when x < 0 -> Negative 
    | x   -> failwith (sprintf "unknown: %d" x) 

Answer 1

あなたはこれにそれを変更することができ、それが動作します：/破棄を無視するようにアンダースコアの

let (|Positive|Neutral|Negative|) = function 
    | x when x > 0 -> Positive 
    | x when x = 0 -> Neutral 
    | x when x < 0 -> Negative 
    | f   -> failwith (sprintf "unknown: %d" f)