Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact)

Williams, Jack; Morris, J. Garrett; Wadler, Philip; Zalewski, Jakub

doi:10.4230/DARTS.3.2.8

Artifact Description

DARTS.3.2.8.pdf

Filesize: 365 kB
2 pages

Document Identifiers

DOI: 10.4230/DARTS.3.2.8
URN: urn:nbn:de:0030-drops-72899

Author Details

Jack Williams

J. Garrett Morris

Philip Wadler

Jakub Zalewski

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

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)

0

PDF Downloads

0

Metadata Views