Many people, when they hear "static types for Python", expect that the Python interpreter would perform some kind of pre-execution step of checking types and us

Many people, when they hear "static types for Python", expect that the Python interpreter would perform some kind of pre-execution step of checking types and usage, and refuse to execute code with type errors. Since this is not the case (and would be difficult/impossible to implement given that Python code can import new modules at any time, and also change the import paths), it's worth pointing out.