ECOOP 2014 – Object-Oriented Programming
Volume 8586 of the series Lecture Notes in Computer Science pp 257-281
Understanding TypeScript
- Gavin BiermanAffiliated withOracle
- , Martín AbadiAffiliated withMicrosoft
- , Mads TorgersenAffiliated withMicrosoft
Abstract
TypeScript is an extension of JavaScript intended to enable easier development of large-scale JavaScript applications. While every JavaScript program is a TypeScript program, TypeScript offers a module system, classes, interfaces, and a rich gradual type system. The intention is that TypeScript provides a smooth transition for JavaScript programmers—well-established JavaScript programming idioms are supported without any major rewriting or annotations. One interesting consequence is that the TypeScript type system is not statically sound by design. The goal of this paper is to capture the essence of TypeScript by giving a precise definition of this type system on a core set of constructs of the language. Our main contribution, beyond the familiar advantages of a robust, mathematical formalization, is a refactoring into a safe inner fragment and an additional layer of unsafe rules.
- Title
- Understanding TypeScript
- Book Title
- ECOOP 2014 – Object-Oriented Programming
- Book Subtitle
- 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings
- Pages
- pp 257-281
- Copyright
- 2014
- DOI
- 10.1007/978-3-662-44202-9_11
- Print ISBN
- 978-3-662-44201-2
- Online ISBN
- 978-3-662-44202-9
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 8586
- Series ISSN
- 0302-9743
- Publisher
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Topics
- Industry Sectors
- eBook Packages
- Editors
-
- Richard Jones (15)
- Editor Affiliations
-
- 15. School of Computing, University of Kent
- Authors
-
- Gavin Bierman (16)
- Martín Abadi (17)
- Mads Torgersen (17)
- Author Affiliations
-
- 16. Oracle, USA
- 17. Microsoft, USA
Continue reading...
To view the rest of this content please follow the download PDF link above.