Skip to Main content Skip to Navigation
Book sections

Typage des langages de programmation

Abstract : Le typage dans les langages de programmation garantit l’absence de calculs erronés qui seraient dus à des opérations manipulant des données non-conformes. Cette vérification peut s’effectuer à l’exécution (typage dynamique) ou à la compilation (typage statique) et accroît la sûreté d’exécution des programmes. Le typage permet aussi de s’abstraire de la représentation des données pour faciliter la composition des éléments d’un programme tout en apportant un bon niveau de flexibilité grâce aux différentes classes de polymorphisme (paramétrique, ad hoc, sous-typage). Chaque langage de programmation possède sa propre discipline de typage afin d’assurer sûreté, abstraction et flexibilité des programmes.
Document type :
Book sections
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03154267
Contributor : Emmanuel Chailloux Connect in order to contact the contributor
Submitted on : Sunday, February 28, 2021 - 2:03:30 AM
Last modification on : Wednesday, June 8, 2022 - 12:50:04 PM

Identifiers

  • HAL Id : hal-03154267, version 1

Citation

Emmanuel Chailloux, Romain Demangeon, Michel Mauny. Typage des langages de programmation. Techniques de l'ingénieur, Editions T.I., 2018. ⟨hal-03154267⟩

Share

Metrics

Record views

56