Check this out if you haven't already:
https://github.com/Microsoft/TypeScript/wiki/Type-Checking-J...
Even if without any annotations, type inferencing can catch some bugs for you.