Synonymes de typage statique
/ti.paʒ sta.tik/
- nom
Publicité
★ Synonymes
Catégorie - Vérification des types à la compilation
- typage compile-time
- Caractéristique d'un langage de programmation qui impose de déclarer chaque variable avec son type.
- Propriété d’un langage de programmation d’interdire l’affectation de variable avec des valeurs ne correspondant pas à son type déclaré.
Catégorie - Contrôle des types sans exécution
- vérification statique des types
- analyse statique des types
- typage prédéfini
Catégorie - Système de types avec contraintes
- typage rigide
- typage contraint
- typage déclaratif
- typage structurelen contexte
Catégorie - Discipline de typage dans les langages
- typage nominal
- typage gradueldans certains contextes
- typage inférési explicite, selon usage
Catégorie - Génie logiciel associé
- typage sûr
- typage fiable
- typage prévisible
- typage rigoureux
≡ Synonymes
Aucun synonyme répertorié pour ce mot dans le Wiktionnaire.
↔ Contraires
Tous les sens
- Possibilité pour une variable de changer de type selon ses affectations.