Le typage statique est une technique utilisée dans certains langages de programmation impératifs pour associer à un symbole dénotant une variable le type de la valeur dénotée par la variable ; et dans certains langages de programmation fonctionnels pour associer à une fonction le type de son paramètre et le type de la valeur calculée. Wikipedia