Почему mypy считается лучшим инструментом для статической типизации в Python?

Mypy считается лучшим инструментом для статической типизации в Python по нескольким причинам:

• Проверка типов во время компиляции. mypy-lang.org pythonist.ru Это позволяет находить ошибки ещё до запуска программы и тратить меньше времени на отладку. mypy.readthedocs.io
• Упрощение обслуживания кода. mypy-lang.org Объявления типов выступают в роли машинной документации, что делает код более понятным и удобным для модификации без внесения ошибок. mypy-lang.org
• Возможность постепенно переходить от динамической к статической типизации. mypy-lang.org Можно разрабатывать программы с динамической типизацией, а статическую добавить позже или мигрировать под неё уже существующий код на Python. mypy-lang.org
• Мощная система типов. mypy-lang.org В ней реализованы такие функции, как двунаправленное выведение типа, дженерики, вызываемые типы, абстрактные базовые классы, множественное наследование и типы кортежей. mypy-lang.org