Un langage à typage statique est un langage (comme Java, C, ou C++) où les types des variables sont connus lors de la compilation et doivent être spécifiés expressément par le programmeur.
Pour en savoir plus
Culture générale
- Type (informatique) sur Wikipédia