L'inférence de types est la capacité du compilateur à déduire le type d'une variable ou d'un retour de fonction à partir de sa valeur, sans annotation explicite. Elle allège le code tout en gardant la vérification statique. En pratique, on annote surtout les paramètres de fonctions et les API publiques.
Exemple
const total = 12.5; // inféré : number
const noms = ['a', 'b']; // inféré : string[]