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.