I vastly prefer Purescript despite it being the road less traveled. Typescript is just a fake-ish type system on top of JavaScript. But Purescript goes MUCH further in the mission of purity and code safety.
If compiled languages bother you, then you’re gonna love assembly.
An assembler doesn’t have any of the interesting parts of a compiler.
Anyway, the problem with Typescript is that it tends to obscure what’s going on one layer below it in ways that don’t happen in traditional compiled languages. We’ve had decades of development on tools that can work together with traditional compilers. Javascript has not, and there are frequent problems getting different tools at different layers of abstraction to march the same direction.