Зачем нужен mypy

Mypy — это статический анализатор типов для Python, который помогает находить ошибки до запуска кода. Он проверяет соответствие типов, указанных в аннотациях, и выявляет потенциальные проблемы, такие как передача неверного типа в функцию или отсутствие ожидаемого атрибута у объекта.

Пример:

def greet(name: str) -> str:
    return f"Hello, {name}"

greet(42)  # Mypy выдаст ошибку: Argument 1 has incompatible type "int"; expected "str"

Преимущества:

• Раннее обнаружение ошибок
• Улучшение читаемости кода
• Поддержка сложных типов (Optional, Union и т.д.)
• Интеграция с IDE для автодополнения

Используется в связке с typing для строгой типизации.