Je pense que ghc et ghci essaient de spécialiser sous certaines conditions à un type le plus petit possible (sans doute pour des raisons de performances). Si tu écris let sum' = foldl' (+) 0 dans un fichier, dans lequel tu utilises ensuite cette fonction avec une liste de flottants, et que tu compiles avec ghc, tu n'auras pas les problèmes de ghci, car ghc voit d'avance tout le fichier avant de décider la spécialisation (dans ghci je suppose que tu n'as pas d'autre choix que de spécifier à la main la signature).
# Seulement dans l'interpréteur ghci
Posté par anaseto . En réponse au message inférence de type en Haskell. Évalué à 1. Dernière modification le 30 juillet 2014 à 12:31.
Je pense que ghc et ghci essaient de spécialiser sous certaines conditions à un type le plus petit possible (sans doute pour des raisons de performances). Si tu écris
let sum' = foldl' (+) 0dans un fichier, dans lequel tu utilises ensuite cette fonction avec une liste de flottants, et que tu compiles avec ghc, tu n'auras pas les problèmes de ghci, car ghc voit d'avance tout le fichier avant de décider la spécialisation (dans ghci je suppose que tu n'as pas d'autre choix que de spécifier à la main la signature).