> my dream would be for Python to actually enforce type annotations at runtime when they exist Does any mainstream language do this? For sure most don't, even

> my dream would be for Python to actually enforce type annotations at runtime when they exist Does any mainstream language do this? For sure most don't, even statically-typed ones. I'm all for enforcement of types, but why does it need to happen at runtime?