@meejah @isagalaev @mitsuhiko I see. I'm not convinced though. Like, if the thing you like most about Python is that it looks like pseudocode, then that's fine, but you can still write Python that looks like pseudocode if you want to because type hints are optional. We don't write complex libraries and applications in pseudocode, though. (Or, we shouldn't) In those situations, static type checking is a big part of what elevates Python beyond pseudocode and makes it suitable for building those complex systems. (1/2)