Perché GHC non fornisce un avviso di compilazione per l'eccezione "Nessuna corrispondenza nel selettore di record"?

Question

Quando eseguo questo codice buggy ...

data Person = Adult { pName :: String} 
      | Kid { pName :: String 
        , pAge :: Int 
        } deriving Show 

getAge :: Person -> Int 
getAge p = pAge p 

getName :: Person -> String 
getName p = pName p 

main :: IO() 
main = do 

    let p1 = Kid "fred" 5 
     p2 = Adult "john" 
     ps = [p1, p2] 

    names = map getName ps 
    ages = map getAge ps 

    putStrLn $ "names: " ++ show names 
    putStrLn $ "ages: " ++ show ages 

... ottengo questo in ghci:

names: ["fred","john"] 

ages: [5,* * * Exception: No match in record selector pAge 

so come evitare questo errore, ma mi chiedo il motivo per cui la compilazione con "ghc -Wall" non mi ha avvisato di questo problema. C'è un altro strumento che può aiutarmi a prevenire questo tipo di errore?

Answer 1

C'è uno strumento che può aiutarmi a prevenire questo tipo di errore?

No, ma potrebbe esserci.

Come sapete, la sintassi di registrazione genera automaticamente getter con lo stesso nome degli attributi definiti. Pertanto il codice

data Person = Adult { pName :: String} 
      | Kid { pName :: String 
        , pAge :: Int 
        } deriving Show 

crea le funzioni pName :: Person -> String e pAge :: Person -> Int. Ora, supponi Haskell ha avuto sottotipizzazione. Se così fosse, allora Kid potrebbe essere un sottotipo di Person e pAge potrebbe avere il tipo più appropriato Kid -> String. Tuttavia, Haskell fa non ha sottotipo, e quindi non esiste il tipo Kid.

Ora, dato che Person -> String è il tipo più specifico che possiamo dare a pAge, perché non avvisare che pAge è una funzione parziale in fase di compilazione? Mi permetta di deviare le domande per riferimento all'esempio Elenco

data List a = Cons { head :: a, tail :: List a } | Empty 

In questo esempio, head e tail sono funzioni parziali: i due componenti di una lista non vuota, ma (a causa della mancanza di sottotipo Haskell) di accesso senza senso nella lista vuota Quindi, perché nessun avviso di default? Bene, per impostazione predefinita, conosci il codice che hai scritto. Il compilatore non fornisce avvisi se si utilizza unsafePerformIO, perché qui si è il programmatore, si prevede di utilizzare tali cose in modo responsabile.

Così tl; dr: se si desidera che l'avviso qui:

getAge :: Person -> Int 
getAge p = pAge p 

allora sei fuori di fortuna, perché il sistema di tipo non dispone di informazioni sufficienti per dedurre che questo è un problema.

Se si desidera che l'avviso qui:

data Person = Adult | Kid { pAge :: Int } 

allora sono sicuro che sarebbe banale da implementare: basta verificare che un determinato campo esiste in alcuni costruttori ma non altri. Ma non prevedo che questo avvertimento sia ampiamente utile per tutti; alcuni potrebbero lamentarsi che sarebbe solo rumore.

Answer 2

Sarei sorpreso se http://community.haskell.org/~ndm/catch/ non lo raccolga.