The types were never meant for the Python interpreter, they were meant as documentation and as input for static analysis tools. Mypy just happens to be a static

The types were never meant for the Python interpreter, they were meant as documentation and as input for static analysis tools. Mypy just happens to be a static typechecker that takes advantage of the type annotations. Just because mypy is optional doesn't mean it's not static typing.