Discussion:Inférence de types
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Informatique.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | Moyenne |  | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Général vs spécifique[modifier le code]
L'article dit que le compilateur cherche le type le plus général. Cela me semble un contresens : le plus général est forcément Object ou un truc similaire. Le compilateur cherche au contraire le type le plus spécifique.
Par exemple, en Haskell :
Prelude> let i = 3 Prelude> :t i i :: Integer
L'interpréteur a choisi le type Integer, ce qui est logique.
Prelude> let foo x = x * 2 Prelude> :t foo foo :: (Num a) => a -> a
Ici, l'interpréteur a choisi pour x le type Num, plus général que Integer, parce que x n'est pas forcément un entier.
Si le compilateur cherchait réellement le type le plus général, il aurait choisi Num pour le premier exemple.