Paper Info
Title
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 accommodate 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 accommodate most programming idioms.
Year
DOI
Venue
2014
10.1016/j.scico.2013.06.006
Science of Computer Programming
Keywords
Field
DocType
Type systems,Gradual typing,Smalltalk
Programming language,Live programming,Computer science,Smalltalk,Programming language implementation,Duck typing,Gradual typing,Scripting language
Journal
Volume
Issue
ISSN
96
P1
0167-6423
Citations 
PageRank 
References 
20
0.93
23
Authors
5
Name
Order
Citations
PageRank
Esteban Allende1393.09
Oscar Callaú2583.29
Johan Fabry319724.60
Éric Tanter477858.15
Marcus Denker528523.94