> Optionally typed is extremely strange. It's like the kind of JSDoc annotations you need for the Closure Compiler. The difference is that it's baked into the

> Optionally typed is extremely strange. It's like the kind of JSDoc annotations you need for the Closure Compiler. The difference is that it's baked into the language, which enables a very terse syntax and, since it's standardized, it can be used by all of your tools. You only need those annotations at the API boundaries (arguments and return values) to get most of the tooling benefits like call-tips, auto-complete, direct & inferred static checks, runtime checks, generated documentation, and things like that.