I agree but it's a big leap to lose Javascript interoperability to gain type soundness. There are many such compile-to-js languages but none nearly as popular

I agree but it's a big leap to lose Javascript interoperability to gain type soundness. There are many such compile-to-js languages but none nearly as popular as Typescript is.