Comment by Too

This. Both Typescript and Python type systems are way far ahead, with structural typing, exhaustive checks and much more.