Concrete Types for TypeScript

@inproceedings{Richards2015ConcreteTF,
  title={Concrete Types for TypeScript},
  author={Gregor Richards and Francesco Zappa Nardelli and Jan Vitek},
  booktitle={ECOOP},
  year={2015}
}
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

Citations

Publications citing this paper.

References

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
2014

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

H. Alan
2014

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

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

Similar Papers

Loading similar papers…