This feels like splitting hairs -- python and typescript are equivalent, as they are both dynamically typed languages with type annotations. The fact that the

This feels like splitting hairs -- python and typescript are equivalent, as they are both dynamically typed languages with type annotations. The fact that the typescript implementation does not run typescript directly, and cPython does not type check before running the code, are both implementation details. Typescript is just a better type system on top of javascript than python's type system is on top of untyped python, because typescript is a cohesive design rather than a collection or random stuff accumulated over time. There's no reason that couldn't have happened for python, it just didn't.