Muss ich eine explizite Übereinstimmungserklärung verwenden, um ihren Platzhalterwert zu identifizieren?

Question

Muss ich eine explizite Übereinstimmungserklärung verwenden, um ihren Platzhalterwert zu identifizieren?

Nehmen wir zum Beispiel die folgende Funktion:

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

Fehler:

Unexpected symbol '_' in expression

ich gelernt, dass ich dies ohne Fehler tun können:

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) 

UPDATE

Hier ist das Ergebnis aus einer Antwort geschrieben:

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

Sie können es auf diese ändern und es wird funktionieren:

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)