5. Autres systèmes de types
Le typage dynamique, en vérifiant que les arguments passés à une fonction sont (de types) acceptables, garantit que les opérations exécutées le sont sur des données correctes, du point de vue des types. Pour cela, des tests sur les données transmises sont effectués avant l’appel à une fonction ou bien directement dans son code. Si l’un de ces tests de conformité de type échoue, cet échec est signalé soit en transmettant une valeur spécifique à l’appelant, soit en déclenchant une exception à cet endroit du programme. On obtient donc une garantie de fiabilité logicielle indiquant qu’il n’y aura pas de calculs sur des données non conformes à ce qui est attendu.
Le typage statique élimine les tests de typage à l’exécution en analysant le code source du programme pour vérifier qu’il est conforme au système de types du langage dans lequel ce programme est écrit. Si ce...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Autres systèmes de types
Conclusion
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
