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.