Use TypeScript

[wereHamster]

The usefulness of a static type system should be obvious.

[mgsloan]

https://github.com/mgsloan/ghcjs-typescript may interest you! I have abandoned that approach, instead I think we need some variety of inline-typescript which generates the FFI and the typed wrapper for inline typescript expressions.

[wereHamster]

That project seems to be more about teaching GHCJS about how to consume JavaScript modules which are written in TypeScript. I was thinking more about using TypeScript in the implementation of the RTS and other JavaScript files in this repository.