License: 
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECOOP.2015.76
URN: urn:nbn:de:0030-drops-52185
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5218/
Richards, Gregor ;
Zappa Nardelli, Francesco ;
Vitek, Jan
Concrete Types for TypeScript
Abstract
Typescript extends JavaScript with optional type annotations that are, by design, unsound and, that the Typescript compiler discards as it emits code. This design point preserves programming idioms developers are familiar with, and allows them to leave their legacy code unchanged, while offering a measure of static error checking in parts of the program that have type annotations. We present an alternative design for TypeScript, one where it is possible to support the same degree of dynamism, but where types can be strengthened to provide hard guarantees. We report on an implementation, called StrongScript, that improves runtime performance of typed programs when run on a modified version of the V8 JavaScript engine.
BibTeX - Entry
@InProceedings{richards_et_al:LIPIcs:2015:5218,
author = {Gregor Richards and Francesco Zappa Nardelli and Jan Vitek},
title = {{Concrete Types for TypeScript}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {76--100},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {John Tang Boyland},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5218},
URN = {urn:nbn:de:0030-drops-52185},
doi = {10.4230/LIPIcs.ECOOP.2015.76},
annote = {Keywords: Gradual typing, dynamic languages}
}
|
Keywords: |
|
Gradual typing, dynamic languages |
|
Collection: |
|
29th European Conference on Object-Oriented Programming (ECOOP 2015) |
|
Issue Date: |
|
2015 |
|
Date of publication: |
|
29.06.2015 |
