Having said that I prefer TypeScript over nothing since it does help me understand what is going on in the code more. But like you said, there are other tools that do just as good of a job as TypeScript if not better. So, if I would have learned one of those tools first, I might have liked them better. Maybe one day I’ll get a chance. My over all experience with TypeScript is that it gives you the feeling of safety but doesn’t deliver. Not like other type systems do.
A full static type system like Elm or PureScript or F# would give lots of benefits. Elm users talk about how they never have run time errors in their code. I would expect the same for PureScript/F#. Now other types of errors need to be tested for still. F# gives you the type inference.