Aller au contenu

Typage

La façon dont un langage traite les catégories de valeurs et les opérations adaptées.

Développement logiciel

Qu’est-ce que le typage ?

Le typage régit les types de valeurs et les opérations adaptées. Le contrôle statique peut détecter des incompatibilités avant exécution ; le typage dynamique traite les types pendant l’exécution. Les informations peuvent être explicites ou inférées par un outil. Un langage typé n’est pas automatiquement exempt d’erreurs métier.

Dans un portail fictif, quantity doit être traité comme number. Un contrôleur statique adapté peut signaler une affectation de texte. Le type nombre ne dit pas seul si la quantité est positive, entière ou admissible pour l’unité choisie. Une annotation TypeScript ne valide pas non plus automatiquement à l’exécution les données d’une interface externe. Ces entrées et règles métier nécessitent des contrôles propres.

Sources

Articles sur le sujet

Développement logiciel avec ASES

Logiciels sur mesure, applications web et mobiles