[See "Introducing Mypy, an Experimental Optional Static Type Checker for Python" and ... 10 * 2 = 20 I don't want to dwell on how all of this works, including inner functions and Python's scoping ...

For example, I can define a function that sums numbers ... Using mypy means that you can write and run Python in the normal way, gradually adding static type checking over time and checking it outside ...