J'ai essayé ce qui suit dans ghci 7.6.3 prelude> let m = map Les travaux ci-dessus. Aucune erreur de GHCi. Mais j'ai essayé, prelude> let r = read Le code ci-dessus lance une grande erreur de graisse
Je voulais implémenter cette somme. J'ai rencontré des problèmes concernant les signatures de type. Voici comment il ressemble à Haskell. crowdWrong :: (Fractional b, Integral b) => b -> b
crowdWrong
Disons que flip :: (a->b->c) ->b->a->c
const ::d->e->d
type de (const FLIP) serait a=d,b=e,c=d
dans b->a->c
donc le type serait e->d->d
Mais pour (carte prendre) son [Int]->[[a]]->[[a]]