Signature d'une fonction Haskell

Bonjour,

Quelle est la différence entre les deux signatures de cette même fonction "factorial" :

Code:

---

1 2 3

factorial :: Int -> Int factorial 0 = 1 factorial n = n * factorial (n - 1)

---

Code:

---

1 2 3

factorial :: (Integral a) => a -> a factorial 0 = 1 factorial n = n * factorial (n - 1)

---

Merci pour votre aide.

"Int -> Int" indique que la fonction prend en argument une valeur de type Int (un entier machine, signé, de 32 ou 64 bits selon ton architecture et la version de GHC, plus probablement du 64 bits maintenant, tu peux tester en tapant maxBound :: Int sous GHCi) et renvoie une valeur de type Int.

"(Integral a) => a -> a" contient une variable de type "a" contrainte par "(Integral a)" de sorte que "a" ne peut représenter que des types qui sont des instances de la Typeclass Integral (laquelle est normalement utilisée pour des types qui peuvent représenter des quantités entières comme Int, Integer (entier illimité), Word, Word8, Word16... ). Donc cette fonction prend un type instance de Integral et renvoie ce même type, on peut donc utiliser cette version de la fonction avec n'importe quel type qui représenterait des entiers au lieu de seulement avec des entiers machines (Int). C'est particulièrement intéressant avec Integer ici car la fonction factorielle croît extrêmement vite et les résultats dépasse rapidement les capacités des entiers machines (surtout si tu es en 32 bits mais même en 64 bits, 21! est déjà trop grand).

Note que ce n'est pas le type le plus général de factorial, si tu tapes seulement son code sans lui donner de signature, le type inféré (que tu peux obtenir avec ":t factorial" avec GHCi) est "(Num a) => a -> a" parce que factorial n'utilise aucune opérations spécifiques aux entiers, seulement des opérations de la classe Num : (*), (-) et implicitement fromInteger pour convertir les constantes 0 et 1. Bien sûr ce type est une mauvaise idée vu l'implémentation de factorial parce qu'avec un type numérique quelconque, tu n'es plus garanti d'atteindre le cas de base 0 en soustrayant 1 (ce qui est le cas avec des entiers, positifs du moins).

--
Jedaï

Ok, parfait. Merci beaucoup !