2026-07-22T11:58:12Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5218 2024-03-06T10:36:05Z ddc:004 open_access

Concrete Types for TypeScript Richards, Gregor Zappa Nardelli, Francesco Vitek, Jan Gradual typing dynamic languages 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Gregor Richards and Francesco Zappa Nardelli and Jan Vitek 2015 Is Part Of LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2015.76 urn:nbn:de:0030-drops-52185 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.76 eng https://creativecommons.org/licenses/by/3.0/legalcode