Présentation
RÉSUMÉ
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.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleAuteur(s)
-
Emmanuel CHAILLOUX : Professeur, Sorbonne Université
-
Romain DEMANGEON : Maître de conférences, Sorbonne Université
-
Michel MAUNY : Directeur de recherche, Inria
INTRODUCTION
En programmation, un type de données ou, plus simplement, un type, est un ensemble de données partageant des propriétés et des opérations. Par exemple, dans le langage C, le type int des entiers contient les nombres positifs ou négatifs représentables sur un nombre fixe de bits, qui peut dépendre de l’architecture du processeur (souvent 32 ou 64). Ces entiers peuvent être arguments ou résultats d’opérations arithmétiques. Le langage OCaml fournit un type bool ne contenant que les deux valeurs de vérité true et false, qui peuvent être testées (par une construction conditionnelle if−then−else), ou être résultats de fonctions à valeurs booléennes.
Cet article est réservé aux abonnés.
Il vous reste 95 % à découvrir.
Déjà abonné ? Se connecter
MOTS-CLÉS
DOI (Digital Object Identifier)
Présentation
Quelques définitionsArticle inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(236 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.
Cet article est réservé aux abonnés.
Il vous reste 95 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(236 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.
BIBLIOGRAPHIE
-
(1) - MILNER (R.) - A theory of type polymorphism in programming. - J. Comput. Syst. Sci (1978).
-
(2) - WRIGHT (A.K.) - Polymorphism for imperative languages without imperative types. - Technical Report TR93-200, Rice University Dept. of Computer Science (1993).
-
(3) - PIERCE (B.) - Types and Programming Languages MIT Press. - (2002).
DANS NOS BASES DOCUMENTAIRES
ANNEXES
-
Type abstrait (Wikipedia) : https://fr.wikipedia.org/wiki/Type_abstrait
-
Polymorphisme (Wikipedia) : https://fr.wikipedia.org/wiki/Polymorphisme_(informatique)
-
Sûreté du typage (Wikipedia en anglais) : https://en.wikipedia.org/wiki/Type_safety
-
Langages des exemples :
-
OCaml : https://ocaml.org/
-
Swift : https://swift.org/
-
Java : https://www.java.com/
-
JavaScript : https://fr.wikipedia.org/wiki/JavaScript
-
C (Wikipedia) : https://fr.wikipedia.org/wiki/C_(langage)
-
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"
(236 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.
