Typescript is miles ahead of Python… especially when talking about correctness. That suggestion seems to contradict your whole argument.