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

    Posté par . En réponse au message inférence de type en Haskell. Évalué à 1.

    OK, j'y vois un peu plus clair effectivement...
    Il faut donc spécifier une signature quand cette restriction est active...
    Mais dans ce cas, pour ceci ne marche pas ?

    let sum' = foldl' (+) 0 :: Num a => [a] -> a
:t sum'
sum' :: [Integer] -> Integer

    Il faut absolument passer par le style déclaratif plutôt que par une expression ?