Synonymes de typage fort

★ Synonymes

Système de types strict imposant des règles explicites sur les variables et les opérations

• typage statique
  Propriété d’une déclaration de variable d’interdire des affectations avec des valeurs ne correspondant pas à son type déclaré.
• typage explicite
  Caractéristique d'un langage de programmation qui impose de déclarer chaque variable avec son type.
• typage rigoureux
• typage strict

Contrainte garantissant que les opérations ne s'appliquent qu'à des types compatibles

• sûreté de type
• contrôle de type
• vérification de type
• cohérence typée

Approche favorisant la prévention des erreurs à la compilation (opposé au typage faible)

• typage sûr
• typage nominal
• typage structurel restrictif
• typage inférentiel mais sûr
  dans certains contextes

Contexte théorique ou conceptuel en informatique

• discipline de type
• politique de typage
• typage contraignant
• typage sécurisé

≡ Synonymes

↔ Contraires