News for hackers. Stuff that matters.
Re:Facebook Launches Flow, Static Type Checker for JavaScript by paulddraper on Tuesday November 18, 2014 @11:22PM (#8628256)
Similar to the Google Closure Compiler (https://developers.google.com/closure/compiler/), which has been around for years, just with fewer features.

It has static type checking with optional type annotations and type inference.

It doesn't have compiler-time constants, dead code removal, inlining, or other optimizations.

But....still really cool.

Re:Facebook Launches Flow, Static Type Checker for JavaScript by avik on Wednesday November 19, 2014 @06:11PM (#8633312)
One obvious thing to try is to use Flow's type inference to emit GCC annotations and see whether those optimizations kick in. (Of course, Flow can also try to replicate whatever GCC does, but that will take some time. No reason not to, though.)