Używanie niekompletnego dopasowywania wzorca jako filtra?

Question

Załóżmy, że mają następujące oznaczenia:

type Vehicle = 
| Car of string * int 
| Bike of string 

let xs = [ Car("family", 8); Bike("racing"); Car("sports", 2); Bike("chopper") ] 

można filtrować powyżej listy za niepełny dopasowanie wzorca w imperatywem pętli jak:

> for Car(kind, _) in xs do 
> printfn "found %s" kind;; 

found family 
found sports 
val it : unit =() 

ale spowoduje to: warning FS0025: Incomplete pattern matches on this expression. For example, the value 'Bike (_)' may indicate a case not covered by the pattern(s). Unmatched elements will be ignored.

Jako że ignorowanie niedopasowanych elementów jest moją intencją, czy istnieje możliwość pozbycia się tego ostrzeżenia?

Czy istnieje sposób, aby to działało ze zrozumieniem listy bez powodowania wyjątku MatchFailureException? na przykład coś takiego:

> [for Car(_, seats) in xs -> seats] |> List.sum;; 
val it : int = 10 

Answer 1

Dwa lata temu Twój kod był ważny i był to standardowy sposób. Następnie język został oczyszczony, a decyzja projektowa miała sprzyjać wyraźnej składni. Z tego powodu uważam, że ignorowanie ostrzeżenia nie jest dobrym pomysłem.

Standardowy zamiennik kodzie jest:

for x in xs do 
    match x with 
    | Car(kind, _) -> printfn "found %s" kind 
    | _ ->() 

(można też użyć funkcji wysokiej zamówienie w próbce PAD)

Dla drugiego, List.sumBy będzie dobrze pasować:

xs |> List.sumBy (function Car(_, seats) -> seats | _ -> 0) 

Jeśli wolisz trzymać listowe, jest to wyraźny składnia:

[for x in xs do 
    match x with 
    | Car(_, seats) -> yield seats 
    | _ ->() 
] |> List.sum 

Answer 2

Można wyciszyć żadnego ostrzeżenia poprzez dyrektywa #nowarn lub --nowarn: opcja kompilatora (przesuń liczbę ostrzegawczy, tutaj 25 jak w FS0025).

Ale bardziej ogólnie, nie, najlepszą rzeczą jest jawne filtrowanie, tak jak w przypadku drugiej odpowiedzi (np. Z choose).

Answer 3

Aby wyraźnie stwierdzić, że chcesz ignorować niedopasowane sprawy, możesz użyć List.choose i zwrócić None dla tych niedopasowanych elementów. Twoje kody mogą być napisane w bardziej idomatyczny sposób:

let _ = xs |> List.choose (function | Car(kind, _) -> Some kind 
            | _ -> None) 
      |> List.iter (printfn "found %s") 

let sum = xs |> List.choose (function | Car(_, seats)-> Some seats 
             | _ -> None) 
      |> List.sum