squalyl (./2355) :
Kevin: l'exemple pour ton dernier paragraphe il existe, c'est javascript non?

JavaScript utilise en théorie un typage totalement dynamique, donc l'inférence ne s'applique pas. Cela dit, les bons JITs font de l'inférence pour pouvoir typer statiquement toutes les variables où c'est possible, parce que c'est beaucoup plus rapide que de devoir passer par un type générique tout le temps.