DARTS.3.2.8.pdf
- Filesize: 365 kB
- 2 pages
Document
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Volume: DARTS, Volume 3 (ECOOP 2017)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2017-06-20
Cite AsGet BibTex
Jack Williams, J. Garrett Morris, Philip Wadler, and Jakub Zalewski. Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). In Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 2, pp. 8:1-8:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/DARTS.3.2.8
https://doi.org/10.4230/DARTS.3.2.8
Artifact
DARTS-3-2-8-artifact-b5a1d04103fbd86820b32168ebb0504f.tar.gz
(Filesize: 4.72 GB)
Abstract
In the paper Mixed Messages: Measuring Conformance and Non-Interference in TypeScript we present our experiences of evaluating gradual typing using our tool TypeScript TPD. The tool, based on the polymorphic blame calculus, monitors JavaScript libraries and TypeScript clients against the corresponding TypeScript definition. Our experiments yield two conclusions. First, TypeScript definitions are prone to error. Second, there are serious technical concerns with the use of the JavaScript proxy mechanism for enforcing contracts. This artifact includes all the libraries we tested, their definition files, and the source code of our tool. From this, all libraries can be wrapped and tested to reproduce the log data that formed our conclusion. All conformance errors and examples of interference are documented, and can be verified against the generated logs.
Keywords
- gradual typing
- TypeScript
- JavaScript
- proxies
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads