Je ne suis pas du tout un spécialiste du système de types de haskell (ni de haskell tout court), donc je ne suis pas sûr, mais on dirait. En tous cas c'est une « feature » assez obscure de haskell. Ceci dit, c'est un problème qui, en dehors de ghci, a très peu de chances d'intervenir dans un vrai programme. Et même dans une expression, si tu écris let sum' = foldl (+) 0 in sum' [1.2,1.5] dans ghc (ou ghci) ne va pas spécialiser la fonction plus que nécessaire vu qu'il sait déjà que tu vas l'appliquer à une liste de flottants avant.
[^] # Re: 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 à 19:35.
Je ne suis pas du tout un spécialiste du système de types de haskell (ni de haskell tout court), donc je ne suis pas sûr, mais on dirait. En tous cas c'est une « feature » assez obscure de haskell. Ceci dit, c'est un problème qui, en dehors de ghci, a très peu de chances d'intervenir dans un vrai programme. Et même dans une expression, si tu écris
let sum' = foldl (+) 0 in sum' [1.2,1.5]dans ghc (ou ghci) ne va pas spécialiser la fonction plus que nécessaire vu qu'il sait déjà que tu vas l'appliquer à une liste de flottants avant.