Cosa significa _ in Elm?

Question

Sto guardando l'esempio zip su http://elm-lang.org/examples/zip e ho avuto una domanda su cosa significa esattamente il _ in Elm.

zip : List a -> List b -> List (a,b) 
zip xs ys = 
    case (xs, ys) of 
    (x :: xs', y :: ys') -> 
     (x,y) :: zip xs' ys' 

    (_, _) -> 
     [] 

La mia impressione è che significhi "tutto il resto" ma ciò significa un valore valido? Cosa succede se non c'è valore?

Answer 1

_ viene utilizzato per abbinare qualsiasi cosa in cui non ti interessa il valore, quindi è comunemente usato per abbinare il caso "tutto il resto".

Nel codice di esempio (_, _) corrisponderà a qualsiasi tupla con 2 valori in essa. Si noti che potrebbe anche essere sostituito con solo _ poiché si finisce per non preoccuparsi di entrambi i valori. Un esempio più illustrativo sarebbe dove vi preoccupate per un valore della tupla ma non l'altro, ad esempio la realizzazione di fstin the core package

fst : (a,b) -> a 
fst (a,_) = 
    a 

Non ci interessa circa il secondo valore nella tupla, in modo che solo corrisponde a un _ in quella posizione.

Non v'è alcun null o undefined a Elm, in modo da non devono preoccuparsi di non essere "nessun valore" (se qualcosa non avrebbe alcun valore, il tipo Maybe viene utilizzato).