Typage des langages de programmation - Archive ouverte HAL Access content directly
Book Sections Year : 2018

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.
No file

Dates and versions

hal-03154267 , version 1 (28-02-2021)

Identifiers

  • HAL Id : hal-03154267 , version 1

Cite

Emmanuel Chailloux, Romain Demangeon, Michel Mauny. Typage des langages de programmation. Techniques de l'ingénieur, ref. article : h3320, Editions T.I., 2018. ⟨hal-03154267⟩
73 View
0 Download

Share

Gmail Facebook X LinkedIn More