Inférence de types
INFORMATIQUE > CONCEPTS ET TERMES SCIENTIFIQUES (INFORMATIQUE)
INFORMATIQUE > DÉVELOPPEMENT
Mécanisme qui permet à un compilateur ou à un interpréteur de déterminer les types associés à des expressions qui ne sont pas typées dans le code source.