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

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

Пример использования аннотаций и проверки mypy:

from typing import List

def greet_all(names: List[str]) -> None:
    for name in names:
        print(f"Hello, {name}!")

# Если вызвать с неправильным типом, mypy выдаст предупреждение
# greet_all(123)  # Ошибка типов

Таким образом, mypy помогает улучшить качество кода и облегчить его поддержку.