Inférence de type
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 … Lire la suite