Haskell underscore vs. variabile esplicita

Question

Ho studiato Haskell per alcune settimane e ho una domanda sull'uso del trattino basso (_) come parametro di funzione. Penso che la mia domanda sarà meglio chiesta con un esempio specifico. Diciamo che voglio definire una funzione che estrae l'elemento di una lista in base all'indice fornito-sì, mi rendo conto che (!!) è già predefinito. I due modi che posso definire la funzione (sono sicuro che ci sono più) sono i seguenti:

Versione 1

indexedElement    :: [a] -> Int -> a 
indexedElement xs n | n < 0 = error "Index can not be negative." 
indexedElement [] n   = error "Index must be smaller than the length of the list." 
indexedElement (x:xs) 0  = x 
indexedElement (x:xs) n  = indexedElement xs (n - 1) 

Versione 2

indexedElement   :: [a] -> Int -> a 
indexedElement _ n | n < 0 = error "Index can not be negative." 
indexedElement [] _  = error "Index must be smaller than the length of the list." 
indexedElement (x:_) 0  = x 
indexedElement (_:xs) n = indexedElement xs (n - 1) 

I due le versioni sono ovviamente molto simili. L'unica differenza tra i due è l'uso di una variabile esplicita o di un carattere di sottolineatura. Per me _ significa che letteralmente tutto può essere scritto lì mentre una variabile esplicita come n rende più ovvio che l'argomento deve essere un numero intero. Per questo motivo, preferisco la versione 1; ma il codice sorgente GHC per (!!) è scritto come la Versione 2. Esiste un vantaggio funzionale della seconda versione? In caso contrario, i programmatori "hardcore" di Haskell hanno problemi con la versione 1? Capisco l'importanza di avere un modo coerente di scrivere il codice, quindi cerco di seguire le "regole non scritte" per la programmazione in una determinata lingua. Questo è un esempio in cui preferisco di gran lunga la prima versione, e non credo che renda il codice più difficile da leggere. Non so se è dovuto al mio passato in matematica o cosa, ma mi piacerebbe sapere cosa ne pensano i veterinari di Haskell.

Answer 1

Esiste un vantaggio funzionale della seconda versione?

Non credo che abbiano alcuna differenza operativa. Ma trovo la seconda versione più leggibile. _ indica che non viene utilizzato affatto. Quindi, mentre leggo il codice, posso semplicemente ignorarlo e concentrarmi solo sugli altri parametri. Considerando che nella prima versione, penserò che è stato definito n ma forse l'autore ha dimenticato di usarlo? O forse l'argomento non è richiesto. La seconda versione evita questo tipo di sovraccarico mentale. Ma questa è solo la mia opinione. :)

In realtà, se si attiva la bandiera di avvertimento (-Wall) e compilare il codice, si getterà avvertimento per la prima versione:

[1 of 1] Compiling Main    (code.hs, code.o) 

code.hs:2:16: Warning: Defined but not used: ‘xs’ 

code.hs:3:19: Warning: Defined but not used: ‘n’ 

code.hs:4:19: Warning: Defined but not used: ‘xs’ 

code.hs:5:17: Warning: Defined but not used: ‘x’ 

code.hs:8:17: Warning: Defined but not used: ‘xs’