Several Types of Types in Programming Languages

Simone Martini 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of " type " in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. We will argue that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation ; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.
Type de document :
Communication dans un congrès
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. Springer, IFIP Advances in Information and Communication Technology, AICT-487, pp.216-227, 2016, History and Philosophy of Computing. 〈https://hapoc2015.sciencesconf.org〉. 〈10.1007/978-3-319-47286-7_15〉
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01399694
Contributeur : Simone Martini <>
Soumis le : dimanche 20 novembre 2016 - 16:18:50
Dernière modification le : jeudi 11 janvier 2018 - 17:01:00
Document(s) archivé(s) le : lundi 20 mars 2017 - 20:29:23

Fichier

pisa-proceedings-corrected.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Simone Martini. Several Types of Types in Programming Languages. 3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. Springer, IFIP Advances in Information and Communication Technology, AICT-487, pp.216-227, 2016, History and Philosophy of Computing. 〈https://hapoc2015.sciencesconf.org〉. 〈10.1007/978-3-319-47286-7_15〉. 〈hal-01399694〉

Partager

Métriques

Consultations de la notice

94

Téléchargements de fichiers

38