Worlds most efficient JavaScript compiler?

With Typescript making serious headway these years, I'm wondering why someone doesn't use its type inferencing/checking as a front-end to a high-performance JS engine like V8?

Clearly, it's a lot of work, but the hard part is done, and the strong typing information provided by Typescript could be used to produce (JIT) highly optimized machine code at runtime.