Typage statique

Le typage statique est une technique utilisée dans certains langages de programmation impératifs (C++, Java, Pascal, ou même Visual Basic avec l'Option Explicit) pour associer à un symbole dénotant une variable le type de la valeur dénotée par la variable ; et…