TSCheck is a tool for finding bugs in hand-written TypeScript type definitions (.d.ts files). It works by comparing the type definitions to the actual JavaScript library implementation.
- Read the paper:
Checking Correctness of TypeScript Interfaces for JavaScript Libraries
[ abstract | PDF | BibTeX ]
(ACM SIGPLAN OOPSLA 2014 Artifact Award)
- Installation and usage instructions for TSCheck are at the GitHub repository. Information about the separate tool JSnap for creating snapshots is at this repository.
- See also TSInfer and TSEvolve.