Yeah, TypeScript has to integrate with JavaScript for practicality's sake, which pierces a hole in its ability to do proper, rigorous type checking. It's closer to machine-readable documentation that helpfully flags some errors than an actual type-checked language, which will make you get your types right instead of gently suggesting that there might be an issue the way TypeScript does.

Pretty much. Rust is very strict and explicit about everything, while typescript lets you kinda jam things together in ways that are very convenient but harder to keep track of in your head.