A barebones demonstration of using the TypeScript compiler to typecheck JavaScript. - View it on GitHub