Inférence de types
| Image manquante Symbole-ordinateur.png | Cet article est une ébauche concernant l'informatique, vous pouvez partager vos connaissances en le modifiant. |
L'inférence de types est un mécanisme qui permet à un compilateur de découvrir les types associés à des expressions sans qu'ils soient indiqués explicitement dans le code source.
Il s'agit pour le compilateur de trouver le type le plus général que puisse prendre l'expression. Les avantages à deisposer de ce mécanisme sont multiples : le code source est plus aéré, et le programmeur n'a pas à se soucier de retenir les noms de types. Les expressions restent les plus générales possibles - l'inférence de types va de pair avec le polymorphisme, puique le compilateur génère des types abstraits. Enfin, le compilateur, lui, dispose de toutes les informations de type, il y a un typage fort et statique, ce qui lui permet de produire du code plus sûr et plus efficace.