What is the current state of JavaScript static type checking?

Question

I know that the Google Closure Compiler does type checking—but are there any alternatives, preferably that aren\'t so tightly coupled with a library and optimizer?

If no

Answer 1

Microsoft's AJAX Minifier is a little more relaxed about the amount of prep you need to do to a JS file to get useful results out of it. You can run it with defaults and get out a highly minified file that still works with outside code: http://ajaxmin.codeplex.com/

But, both Closure Compiler and Ajax Minifier can only do very limited static analysis beyond basic linting, because of how Javascript is designed. Accessing an undeclared property may just be checking for undefined, assigning an undeclared variable just means declaring it in the global scope, assigning an object to a variable that contained a number is legal, etc. There's a lot that's legal in JS that your typical language (Java, C#) considers out of bounds, so without declaring types, boundaries and expectations for a specific compiler you're unfortunately limited in the errors you can prevent.

I'd be a bit more interested in something that can transform between the big 2 (MS and Google). It would be useful for IDE support, testing code size with advanced optimizations, etc.