Для чего предназначена библиотека mypy?

Что хотят услышать интервьюеры:

mypy используют для статической проверки типов в Python-коде. Она помогает находить несоответствия между аннотациями типов и фактическим использованием ещё до запуска программы. Это повышает надёжность кода и упрощает поддержку в команде.

Определение:

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

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

def greet(name: str) -> str:
    return "Hello, " + name

result = greet(123)  # mypy сообщит об ошибке: expected str, got int

Пояснение кода:

Код не требуется, так как это инструмент проверки, а не объект языка. В примере функция greet ожидает строку name и должна вернуть строку. При вызове greet(123) передаётся число вместо строки, и mypy заранее выявит это несоответствие. Без mypy такая ошибка могла бы проявиться только при выполнении программы или быть замечена позже при тестировании.

Ключевые моменты:

• Проверяет типы статически, без запуска Python-кода.
• Работает с аннотациями типов и помогает ловить ошибки раньше.
• Полезна для рефакторинга и поддержки большого кодовой базы.
• Улучшает читаемость API и договорённости между модулями.
• Не заменяет тесты, а дополняет их.