Définition - Que signifie l'inférence de type?
L'inférence de type est la déduction automatique des types de données d'expressions spécifiques dans un langage de programmation, généralement effectuée au moment de la compilation. Il s'agit d'analyser un programme puis de déduire les différents types de certaines ou de toutes les expressions de ce programme afin que le programmeur n'ait pas besoin d'entrer et de définir explicitement des types de données chaque fois que des variables sont utilisées dans le programme.
Definir Tech explique l'inférence de type
L'inférence de type est souvent une fonctionnalité de compilation des langages de programmation fonctionnels plutôt que des langages orientés objet. Le compilateur ou l'interpréteur n'a besoin que d'informations minimales ainsi que du contexte afin de déterminer quel est le type de données d'une variable ou d'une expression.
L'algorithme d'inférence essaie de déterminer les types d'arguments ainsi que le type de valeur de retour, puis il essaie de trouver le type de données le plus spécifique qui fonctionne avec tous les arguments. Comme exemple de base, considérons la fonction Foo (a, b) = x + y; le compilateur sait que l'opérateur "+" prend deux entiers et renvoie également un entier, donc maintenant le compilateur ou l'interpréteur peut déduire que Foo a également le type entier.