Python is best thought of as a dynamic but strongly typed language. Types aren’t associated with the names of things but with the things themselves. This makes Python flexible and convenient for ...

[See "Introducing Mypy, an Experimental Optional Static Type Checker for Python" and "Python's Mypy—Advanced Usage".] For people (like me) who have enjoyed dynamic languages for a long time, Mypy ...