Bibliographie & annexes
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’articleABSTRACT
Typing in programming languages rules out faults in computations due to operations using inadequate data. This verification may take place either at runtime (dynamic typing) or during compilation (static typing) and increases program security. Through abstraction, typing makes it possible to hide some implementation details in order to smooth the composition of different components of a program while allowing some flexibility through different kinds of polymorphism (parametric, ad hoc, subtyping). Each programming language has its own typing discipline that aims to ensure safety, abstraction, and flexibility of programs.
Auteur(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.
L'expertise technique et scientifique de référence
MOTS-CLÉS
KEYWORDS
Computer | programming | type checking | language
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(238 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
Quelques définitions6. Conclusion
Cet article fournit un tour d’horizon de la notion de type et de typage des langages de programmation. Le domaine est vaste, et voit régulièrement apparaître des avancées, des concepts et des techniques nouvelles, qui peuvent être ou bien transférées depuis le monde de la recherche vers les environnements de développement utilisés industriellement, ou encore être directement développées par des ingénieurs pour répondre à des besoins nouveaux.
Chaque langage de programmation dispose de sa propre notion de type, et chaque programmeur, avec ou sans l’aide de son environnement de développement, effectue son activité d’écriture ou de lecture de programmes en ayant à l’esprit des informations et des principes qui relèvent du typage. Rappelons, en guise de conclusion, les apports du typage à la programmation.
-
Le typage détecte des erreurs de programmation, et favorise la sûreté d’exécution
En règle générale, les compilateurs procèdent à une vérification de typage avant la production de code. Ces vérifications cherchent à détecter des erreurs de programmation, et à en informer le programmeur. Lorsque le programme aura passé avec succès l’examen du typage, le programmeur aura créé un programme à la fois plus sûr, puisque dépourvu de certaines erreurs, et plus efficace car le compilateur aura très certainement produit un code dispensé d’un certain nombre de tests.
En l’absence d’une telle vérification statique, c’est durant l’exécution que ces vérifications auront lieu, permettant, en cas d’échec, au programme de garder le contrôle de ses calculs. En l’absence de telles vérifications dynamiques, les opérations effectuées par le programme pourraient produire des résultats erronés, voire aboutir à des erreurs fatales à l’exécution du programme.
Qu’il soit statique ou dynamique, le typage vise à accroître la sûreté d’exécution des programmes. En fait, cette notion de sûreté d’exécution est omniprésente chez le programmeur avisé : lorsqu’il écrit ses programmes, n’a-t-il pas toujours présent à l’esprit la dynamique de son code – « ce qui va se passer à l’exécution » –, le nombre d’arguments que doit recevoir telle ou telle fonction, quelle doit être leur nature, quel résultat doit produire ce calcul, etc. ?...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(238 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Conclusion
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)
-
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(238 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
