Gradual Typing for Smalltalk

Abstract : Being able to combine static and dynamic typing within the same language has clear benefits in order to support the evolution of prototypes or scripts into mature robust programs. While being an emblematic dynamic object-oriented language, Smalltalk is lagging behind in this regard. We report on the design, implementation and application of Gradualtalk, a gradually-typed Smalltalk meant to enable incremental typing of existing programs. The main design goal of the type system is to support the features of the Smalltalk language, like metaclasses and blocks, live programming, and to accomodate the programming idioms used in practice. We studied a number of existing projects in order to determine the features to include in the type system. As a result, Gradualtalk is a practical approach to gradual types in Smalltalk, with a novel blend of type system features that accomodate most programming idioms.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2014, 96 (1), pp.52-69. 〈10.1016/j.scico.2013.06.006〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00862815
Contributeur : Lse Lse <>
Soumis le : mardi 17 septembre 2013 - 15:22:18
Dernière modification le : jeudi 11 janvier 2018 - 06:22:25
Document(s) archivé(s) le : jeudi 6 avril 2017 - 21:36:17

Fichier

Alle13aGradualTyping.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Esteban Allende, Oscar Callau, Johan Fabry, Éric Tanter, Marcus Denker. Gradual Typing for Smalltalk. Science of Computer Programming, Elsevier, 2014, 96 (1), pp.52-69. 〈10.1016/j.scico.2013.06.006〉. 〈hal-00862815〉

Partager

Métriques

Consultations de la notice

1234

Téléchargements de fichiers

2170