Python is best thought of as a dynamic but strongly typed language. ... Python type hints are used ahead of time, by the type-checking system; for instance, in your editor or IDE.

For people (like me) who have enjoyed dynamic languages for a long time, Mypy might seem like a step backward. But given the many mission-critical projects being written in Python, often by large ...

But as Python (and other dynamic languages) have been making inroads into large companies, I've become increasingly convinced that there's something to be said for type checking. In particular, the ...