TypeScript Is a Bad Implementation of Typing

In his experience, TypeScript is a generally bad implementation of typing. And so that's the number one reason why I don't use it. He prefers type inference systems like the Hindley-Mildner algorithm. You can just be like, Hey, I'm setting the type on these few variables now run your analysis and let me know if I'm doing anything to break what I've said the type should be.