Typage statique

Aller à :

Un langage à typage statique est un langage (comme Java, C ou C++) avec lequel les types des variables sont connus lors de la compilation et doivent être spécifiés expressément par le programmeur. Dans la plupart de ces langages, les types doivent être expressément indiqués par le programmeur ; dans d'autres cas (comme OCaml), l'inférence de type permet au programmeur de ne pas indiquer les types de variables.

Pour en savoir plus

Culture générale

Étiquettes et contributeurs liés au document

Étiquettes : 
 Contributeurs à cette page : loella16, xdelatour
 Dernière mise à jour par : loella16,