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 ...

including inner functions and Python's scoping rules. I do, however, want to ask the question "how can you use Mypy to check all of this?" from typing import Callable def foo(x: int) -> Callable: def ...