Le langage dans lequel le type de chaque variable, expression ou fonction est défini avant la compilation ou au moment de l'exécution, et le compilateur ou l'environnement d'exécution vérifient rigoureusement la conformité des types lors des opérations. Cela empêche les erreurs liées aux incompatibilités de types à des étapes plus précoces du développement.

Précédent Suivant