The only negative is that type annotations aren't part of the core language. You have to run a separate tool (mypy) to check your types. Feels like it should be

The only negative is that type annotations aren't part of the core language. You have to run a separate tool (mypy) to check your types. Feels like it should be a flag on CPython or something.