research-article

Design and evaluation of gradual typing for python

Authors:

Michael M. Vitousek,

Andrew M. Kent,

Jeremy G. Siek,

Jim BakerAuthors Info & Claims

DLS '14: Proceedings of the 10th ACM Symposium on Dynamic languages

Pages 45 - 56

https://doi.org/10.1145/2661088.2661101

Published: 14 October 2014 Publication History

Abstract

Combining static and dynamic typing within the same language offers clear benefits to programmers. It provides dynamic typing in situations that require rapid prototyping, heterogeneous data structures, and reflection, while supporting static typing when safety, modularity, and efficiency are primary concerns. Siek and Taha (2006) introduced an approach to combining static and dynamic typing in a fine-grained manner through the notion of type consistency in the static semantics and run-time casts in the dynamic semantics. However, many open questions remain regarding the semantics of gradually typed languages.

In this paper we present Reticulated Python, a system for experimenting with gradual-typed dialects of Python. The dialects are syntactically identical to Python 3 but give static and dynamic semantics to the type annotations already present in Python 3. Reticulated Python consists of a typechecker and a source-to-source translator from Reticulated Python to Python 3. Using Reticulated Python, we evaluate a gradual type system and three approaches to the dynamic semantics of mutable objects: the traditional semantics based on Siek and Taha (2007) and Herman et al. (2007) and two new designs. We evaluate these designs in the context of several third-party Python programs.

References

[1]

M. Abadi and L. Cardelli. phA Theory of Objects. Springer-Verlag, 1996.

Digital Library

[2]

M. Abadi, L. Cardelli, B. C. Pierce, and G. D. Plotkin. Dynamic typing in a statically-typed language. In phPOPL, pages 213--227, 1989.

Digital Library

[3]

A. Ahmed, R. B. Findler, J. G. Siek, and P. Wadler. Blame for all. In phPOPL '11: ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '11, pages 1--14, 2011.

Digital Library

[4]

Fabry, Tanter, and Denker}allende:2013gradualtalkE. Allende, O. Callaú, J. Fabry, E. Tanter, and M. Denker. Gradual typing for smalltalk. phScience of Computer Programming, August 2013.

[5]

G. Bierman, E. Meijer, and M. Torgersen. Adding dynamic types to C\#. In phEuropean Conference on Object-Oriented Programming, ECOOP'10. Springer-Verlag, 2010.

Digital Library

[6]

B. Bloom, J. Field, N. Nystrom, J. Östlund, G. Richards, R. Strnisa, J. Vitek, and T. Wrigstad. Thorn: Robust, concurrent, extensible scripting on the jvm. phSIGPLAN Not., 44 (10): 117--136, Oct. 2009. ISSN 0362--1340.

Digital Library

[7]

G. Bracha and D. Griswold. Strongtalk: typechecking Smalltalk in a production environment. In phOOPSLA '93: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, pages 215--230, New York, NY, USA, 1993. ACM Press. ISBN 0--89791--587--9.

Digital Library

[8]

C. Chambers and the Cecil Group. The Cecil language: Specification and rationale. Technical report, Department of Computer Science and Engineering, University of Washington, Seattle, Washington, 2004.

[9]

T. V. Cutsem and M. S. Miller. Trustworthy proxies: virtualizing objects with invariants. In phProceedings of the 27th European Conference on Object-Oriented Programming, ECOOP'13, pages 154--178, Berlin, Heidelberg, 2013. Springer-Verlag. 10.1007/978--3--642--39038--8_7.

Digital Library

[10]

Facebook. Hack, 2011. URL http://hacklang.org.

[11]

R. B. Findler and M. Felleisen. Contracts for higher-order functions. Technical Report NU-CCS-02-05, Northeastern University, 2002.

Digital Library

[12]

Google. Dart: structured web apps, 2011. URL http://dartlang.org.

[13]

K. E. Gray, R. B. Findler, and M. Flatt. Fine-grained interoperability through mirrors and contracts. In phOOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications, pages 231--245, New York, NY, USA, 2005. ACM Press. ISBN 1--59593-031-0.

Digital Library

[14]

J. Gronski, K. Knowles, A. Tomb, S. N. Freund, and C. Flanagan. Sage: Hybrid checking for flexible specifications. In phScheme and Functional Programming Workshop, pages 93--104, 2006.

[15]

D. Herman, A. Tomb, and C. Flanagan. Space-efficient gradual typing. In phTrends in Functional Prog. (TFP), page XXVIII, April 2007.

[16]

L. Ina and A. Igarashi. Gradual typing for generics. In phACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA '11, 2011.

Digital Library

[17]

G. A. Kildall. A unified approach to global program optimization. In phPOPL '73: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 194--206. ACM Press, 1973.

Digital Library

[18]

B. S. Lerner, J. G. Politz, A. Guha, and S. Krishnamurthi. Tejas: Retrofitting type systems for JavaScript. In phSymposium on Dynamic Languages, DLS '13, pages 1--16, 2013.

Digital Library

[19]

E. Meijer and P. Drayton. Static typing where possible, dynamic typing when needed: The end of the cold war between programming languages. In phOOPSLA'04 Workshop on Revival of Dynamic Languages, 2004.

[20]

J. G. Politz, A. Martinez, M. Milano, S. Warren, D. Patterson, J. Li, A. Chitipothu, and S. Krishnamurthi. Python: The full monty. In phACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA '13, pages 217--232, 2013.

Digital Library

[21]

A. Rastogi, A. Chaudhuri, and B. Hosmer. The ins and outs of gradual type inference. In phACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, POPL '12, 2012.

Digital Library

[22]

B. M. Ren, J. Toman, T. S. Strickland, and J. S. Foster. The ruby type checker. In phSAC'13 (OOPS), 2013.

Digital Library

[23]

G. Richards, C. Hammer, B. Burg, and J. Vitek. The eval that men do: A large-scale study of the use of eval in javascript applications. In phEuropean Conference on Object-Oriented Programming, ECOOP'11, pages 52--78, Berlin, Heidelberg, 2011.

Digital Library

[24]

M. Serrano. phBigloo: a practical Scheme compiler. Inria-Rocquencourt, April 2002.

[25]

J. G. Siek. Is typescript gradually typed? part 2, Oct. 2013. URL http://siek.blogspot.com/2012/10/is-typescript- gradually-typed-part-2.html.

[26]

J. G. Siek and W. Taha. Gradual typing for functional languages. In phScheme and Functional Programming Workshop, pages 81--92, September 2006.

[27]

J. G. Siek and W. Taha. Gradual typing for objects. In phECOOP 2007, volume 4609 of phLCNS, pages 2--27. Springer Verlag, August 2007.

Digital Library

[28]

J. G. Siek and P. Wadler. Threesomes, with and without blame. In phSymposium on Principles of Programming Languages, 2010.

Digital Library

[29]

J. G. Siek, R. Garcia, and W. Taha. Exploring the design space of higher-order casts. In phEuropean Symposium on Programming, March 2009.

Digital Library

[30]

A. Takikawa, T. S. Strickland, C. Dimoulas, S. Tobin-Hochstadt, and M. Felleisen. Gradual typing for first-class classes. In phConference on Object Oriented Programming Systems Languages and Applications, OOPSLA '12, pages 793--810, 2012.

Digital Library

[31]

S. Thatte. Quasi-static typing. In phPOPL 1990, pages 367--381, New York, NY, USA, 1990. ACM Press. ISBN 0--89791--343--4.

Digital Library

[32]

S. Tobin-Hochstadt and M. Felleisen. Interlanguage migration: From scripts to programs. In phOOPSLA'06 Companion, pages 964--974, NY, 2006. ACM.

Digital Library

[33]

S. Tobin-Hochstadt and M. Felleisen. The design and implementation of typed scheme. In phPOPL '08: the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008.

Digital Library

[34]

S. Tobin-Hochstadt and M. Felleisen. Logical types for untyped languages. In phACM SIGPLAN International Conference on Functional Programming, ICFP '10, pages 117--128, 2010.

Digital Library

[35]

P. Wadler and R. B. Findler. Well-typed programs can't be blamed. In phEuropean Symposium on Programming, 2009.

Digital Library

[36]

R. Wolff, R. Garcia, E. Tanter, and J. Aldrich. Gradual typestate. In phEuropean Conference on Object-Oriented Programming, ECOOP'11. Springer-Verlag, 2011.

Digital Library

[37]

T. Wrigstad, F. Z. Nardelli, S. Lebresne, J. Östlund, and J. Vitek. Integrating typed and untyped code in a scripting language. In phSymposium on Principles of Programming Languages, 2010.

Digital Library

Cited By

Troppmann DFass AStaicu CFilkov VRay BZhou M(2024)Typed and Confused: Studying the Unexpected Dangers of Gradual TypingProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695549(1858-1870)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1145/3691620.3695549
Wu JLemieux C(2024)QuAC: Quick Attribute-Centric Type Inference for PythonProceedings of the ACM on Programming Languages10.1145/36897838:OOPSLA2(2040-2069)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689783
Huang IHögberg JFernandez-Reyes KWrigstad TFernandez-Reyes KVoinea A(2024)Nominal Types for ErlangProceedings of the 23rd ACM SIGPLAN International Workshop on Erlang10.1145/3677995.3678191(24-32)Online publication date: 28-Aug-2024
https://dl.acm.org/doi/10.1145/3677995.3678191
Show More Cited By

Index Terms

Design and evaluation of gradual typing for python
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features

Recommendations

Gradual typing: a new perspective

We define a new, more semantic interpretation of gradual types and use it to ``gradualize'' two forms of polymorphism: subtyping polymorphism and implicit parametric polymorphism. In particular, we use the new interpretation to define three gradual type ...
Design and evaluation of gradual typing for python
DLS '14

Combining static and dynamic typing within the same language offers clear benefits to programmers. It provides dynamic typing in situations that require rapid prototyping, heterogeneous data structures, and reflection, while supporting static typing ...
On polymorphic gradual typing

We study an extension of gradual typing—a method to integrate dynamic typing and static typing smoothly in a single language—to parametric polymorphism and its theoretical properties, including conservativity of typing and semantics over both statically ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

DLS '14: Proceedings of the 10th ACM Symposium on Dynamic languages

October 2014

160 pages

ISBN:9781450332118

DOI:10.1145/2661088

General Chair:
Andrew Black
Portland State University, USA
,
Program Chair:
Laurence Tratt
King's College London, UK

ACM SIGPLAN Notices Volume 50, Issue 2
DLS '14
February 2015
146 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/2775052
Editor:
Andy Gill
University of Kansas, Lawrence, KS
Issue’s Table of Contents

Copyright © 2014 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

In-Cooperation

SIGAda: ACM Special Interest Group on Ada Programming Language

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 October 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLASH '14

Sponsor:

SIGPLAN

SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity

October 20 - 24, 2014

Oregon, Portland, USA

Acceptance Rates

DLS '14 Paper Acceptance Rate 13 of 28 submissions, 46%;

Overall Acceptance Rate 32 of 77 submissions, 42%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

104
Total Citations
View Citations
899
Total Downloads

Downloads (Last 12 months)84
Downloads (Last 6 weeks)7

Reflects downloads up to 06 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Troppmann DFass AStaicu CFilkov VRay BZhou M(2024)Typed and Confused: Studying the Unexpected Dangers of Gradual TypingProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695549(1858-1870)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1145/3691620.3695549
Wu JLemieux C(2024)QuAC: Quick Attribute-Centric Type Inference for PythonProceedings of the ACM on Programming Languages10.1145/36897838:OOPSLA2(2040-2069)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689783
Huang IHögberg JFernandez-Reyes KWrigstad TFernandez-Reyes KVoinea A(2024)Nominal Types for ErlangProceedings of the 23rd ACM SIGPLAN International Workshop on Erlang10.1145/3677995.3678191(24-32)Online publication date: 28-Aug-2024
https://dl.acm.org/doi/10.1145/3677995.3678191
Guo YChen ZChen LXu WLi YZhou YXu B(2024)Generating Python Type Annotations from Type Inference: How Far Are We?ACM Transactions on Software Engineering and Methodology10.1145/365215333:5(1-38)Online publication date: 3-Jun-2024
https://dl.acm.org/doi/10.1145/3652153
Campora JKhan MChen S(2024)Type-Based Gradual Typing Performance OptimizationProceedings of the ACM on Programming Languages10.1145/36329318:POPL(2667-2699)Online publication date: 5-Jan-2024
https://dl.acm.org/doi/10.1145/3632931
SU CCHEN LYANHUI LZHOU Y(2024)Static Blame for gradual typingJournal of Functional Programming10.1017/S095679682400002934Online publication date: 25-Mar-2024
https://doi.org/10.1017/S0956796824000029
Khan MChen S(2024)Gradual Typing Performance, Micro Configurations and Macro PerspectivesTheoretical Aspects of Software Engineering10.1007/978-3-031-64626-3_15(261-278)Online publication date: 29-Jul-2024
https://dl.acm.org/doi/10.1007/978-3-031-64626-3_15
Bastidas Fuertes APérez MMeza Hormaza J(2023)Transpilers: A Systematic Mapping Review of Their Usage in Research and IndustryApplied Sciences10.3390/app1306366713:6(3667)Online publication date: 13-Mar-2023
https://doi.org/10.3390/app13063667
Li KTang XLi FZhou HYe CZhang W(2023)PyBartRec: Python API Recommendation with Semantic InformationProceedings of the 14th Asia-Pacific Symposium on Internetware10.1145/3609437.3609463(33-43)Online publication date: 4-Aug-2023
https://dl.acm.org/doi/10.1145/3609437.3609463
Lazarek LGreenman BFelleisen MDimoulas C(2023)How to Evaluate Blame for Gradual Types, Part 2Proceedings of the ACM on Programming Languages10.1145/36078367:ICFP(159-186)Online publication date: 31-Aug-2023
https://dl.acm.org/doi/10.1145/3607836
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents