Typage statique
INFORMATIQUE > INFORMATIQUE GÉNÉRALE
Technique consistant à associer un type à une variable (langage impératifs) ou à associer à une fonction le type de son paramètre et le type de la valeur calculée (langages fonctionnels) par opposition au typage dynamique.
Quand on utilise un typage statique, le compilateur peut détecter des erreurs de type avant l'exécution et optimiser le code machine.
C, C++, Java et Eiffel utilisent un typage statique
Haskell, PHP, Ruby ou Python utilisent un typage dynamique.