What I'm after for typed annotations is integration with the closure compiler to give me static checking, so in large codebases I get that type safety, even in

What I'm after for typed annotations is integration with the closure compiler to give me static checking, so in large codebases I get that type safety, even in javascript. Thanks anyways though