За какво е предназначена библиотеката mypy?

Mypy е инструмент за статична типизация за Python. Той позволява проверка на съответствието на типовете в кода по време на разработката, което помага за откриване на грешки, свързани с неправилна употреба на типове, преди програмата да бъде стартирана. Mypy използва добавени в кода типови annotations и ги анализира, осигурявайки по-надежден и четим код.

Пример за използване на annotations и проверка с 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 помага за подобряване на качеството на кода и улеснява поддръжката му.