Porffor is doing that, JS -> WASM (an an IR) -> C -> Native

For TypeScript it uses the types as hints to the compiler, for example it has int types that alias number.

Very early still, but very cool.

https://porffor.dev/