Как Mypy делает код на Python надежнее и почему его стоит внедрить уже сегодня

mypy logo

Представьте классическую ситуацию. Вы катите фичу перед выходными, автотесты прошли успешно, а через пять минут после деплоя мониторинг взрывается. В логах красуется знакомое TypeError: unsupported operand type(s) for +: 'int' and 'str'. Кто-то передал строку из веб-формы вместо числа, функция попыталась сложить значения, и сервису стало плохо.

Динамическая типизация Python дает отличный старт и позволяет быстро собирать прототипы. Однако по мере роста проекта она превращается в постоянный источник риска. Любой рефакторинг старого модуля превращается в саперную работу.

Здесь помогает mypy — официальный статический анализатор типов для Python, который находит такие ошибки еще до запуска кода.

В чем идея постепенной типизации

Аннотации типов появились в Python с выходом PEP 484 в 2015 году. Mypy считывает эти аннотации и проверяет их логику, никак не влияя на выполнение программы. Для самого интерпретатора Python ваши типы остаются просто подсказками в коде, похожими на обычные комментарии.

Разработчики заложили в инструмент концепцию постепенной типизации (gradual typing). Вам не придется переписывать всю кодовую базу за одну ночь. Можно разметить пару критичных модулей, например платежный шлюз или авторизацию, а остальной код оставить динамическим.

Возьмем простой пример ошибки:

def calculate_discount(price: float, discount: float) -> float:
    return price * (1 - discount)

user_input = input("Введите размер скидки: ")
total = calculate_discount(100.0, user_input)

Если запустить проверку из терминала:

mypy script.py

Анализатор сразу покажет место с ошибкой:

script.py:5: error: Argument 2 to "calculate_discount" has incompatible type "str"; expected "float"

Вы поймали потенциально упавший прод прямо во время разработки, потратив ровно секунду.

Главные возможности анализатора

Инструмент умеет значительно больше, чем просто сравнивать базовые числа и строки. Mypy распознает сложную структуру кода благодаря продуманной системе типов:

Автоматический вывод типов. Если написать items = [1, 2, 3], инструмент сам догадается, что перед ним список целых чисел.
Поддержка дженериков, кортежей, функций и сопоставления типов.
Структурная подтипизация через протоколы (Protocols) и объединения типов (Union).
Контроль None значений. Забудьте про неожиданные AttributeError: 'NoneType' object has no attribute.

Когда проект разрастается до сотен тысяч строк, обычная проверка начинает занимать время. Для таких ситуаций авторы сделали режим демона:

dmypy run -- script.py

Демон висит в памяти, хранит граф зависимостей и при изменении файлов пересчитывает только разницу. Ответ приходит мгновенно.

За счет чего mypy работает быстро

Интересный деталь репозитория: mypy написан на Python, но умеет компилировать сам себя.

Авторы создали утилиту mypyc, которая переводит типизированный Python-код в Си-расширения. За счет такой компиляции сам анализатор работает примерно в четыре раза быстрее стандартного интерпретатора.

Интеграция в рабочий процесс

Проверять код вручную через консоль неудобно. Mypy легко интегрируется в повседневные инструменты.

Установка занимает одну команду:

python3 -m pip install -U mypy

Для VS Code, PyCharm, Vim и Emacs есть готовые плагины. Ошибки подсвечиваются прямо в редакторе в момент ввода текста. Настроив интеграцию с pre-commit, вы заблокируете возможность закоммитить код с некорректными типами.

Где возникают сложности

Анализатор типов не решает абсолютно все проблемы. С некоторыми неудобствами придется смириться.

Сторонние библиотеки не всегда поставляются с аннотациями. Для популярных пакетов есть отдельный репозиторий typeshed, но для редкой библиотеки придется либо дописывать .pyi файлы самостоятельно, либо заглушать проверки строчкой # type: ignore.

Кроме того, в репозитории проекта висит более трех тысяч открытых задач. Крайние случаи сложного метапрограммирования иногда приводят к ложным срабатываниям.

Кому подойдет инструмент

Для одноразового скрипта на 50 строк mypy явно избыточен. Аннотации только отнимут время.

Но если вы делаете долгоиграющий проект на FastAPI, Django или развиваете сервис, над которым работает команда, mypy защитит ваш код от банальных опечаток и логических сбоев.

Начните с небольшого шага: поставьте пакет, зафиксируйте мягкий файл конфигурации mypy.ini и добавьте аннотации в пару сложных функций. Код станет понятнее без чтения длинной документации.