Mypy — инструмент для статической типизации Python-кода, который помогает находить ошибки ещё до запуска программы. Теперь Python становится чуть ближе к строгим языкам, как Java или C#, но при этом остаётся таким же гибким!

Что даёт Mypy?

Ловит ошибки типов на этапе написания кода;
Улучшает читаемость за счёт явных аннотаций;
Работает без потерь в скорости (Python остаётся динамическим!);
Интегрируется с редакторами и CI/CD.

Установка:

$ pip install mypy

Пример использования:

def add(x: int, y: int) -> int:
    return x + y

print(add(5, 3))  
print(add("5", 3))  # ОШИБКА! Mypy это увидит.

Как проверить код?

$ mypy script.py

Если в коде есть ошибки типов, Mypy сразу их покажет и поможет избежать багов!

Идеально для больших проектов, где нужно поддерживать чистый и надёжный код.

GitHub/Инструкция

Разъяснивший Python