Re: Seulement dans l'interpréteur ghci

Retourner au contenu associé (entrée de forum : inférence de type en Haskell)

[^] # Re: Seulement dans l'interpréteur ghci

Posté par Zylabon le 30 juillet 2014 à 22:29. En réponse au message inférence de type en Haskell. Évalué à 2. Dernière modification le 30 juillet 2014 à 22:30.
Ça ne marche pas parce que la restriction monomorphique est sur le paramètre de sum', pas celui de foldl' (+) 0

Dans cette page : http://www.haskell.org/haskellwiki/Monomorphism_restriction

Tu te trouve dans le cas :
```
-- This is not allowed
f4 = show
```
show est polymorphe, mais la restriction est sur le paramètre de f4

Tu dois typer sum'
```
let sum' :: Num a => [a] -> a
 sum' = foldl' (+) 0
```
La restriction monomorphique est vraiment moche...

Please do not feed the trolls