Concrete Types for TypeScript

  title={Concrete Types for TypeScript},
  author={Gregor Richards and Francesco Zappa Nardelli and Jan Vitek},
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… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 27 references

, Sylvain Lebresne , Johan Östlund , and Jan Vitek . Integrating typed and untyped code in a scripting language

Francesco Zappa Nardelli

Borning and Daniel H . H . Ingalls . A type declaration and inference system for Smalltalk

H. Alan

, Gregor Richards , Doug Simon , and Mario Wolczko . One VM to rule them all

Thomas Würthinger, Christian Wimmer, Andreas Wöss, Christian Humer

Similar Papers

Loading similar papers…