Какие знаешь инструменты для проверки аннотации типов

В Python есть несколько инструментов для проверки аннотаций типов:

1. mypy – самый популярный статический анализатор. Умеет проверять типы в runtime и предлагает подробные сообщения об ошибках.

   bash

   Копировать

   pip install mypy
   mypy your_script.py

2. pyright (от Microsoft) – быстрый анализатор с поддержкой последних PEP. Работает в VS Code через Pylance.

   bash

   Копировать

   pip install pyright
   pyright your_script.py

3. pyre (от Facebook) – мощный инструмент с инкрементальной проверкой.

   bash

   Копировать

   pip install pyre-check
   pyre check

4. pydantic – валидация типов в runtime, особенно полезен для данных (JSON, конфиги).

   python

   Копировать

   from pydantic import BaseModel
   class User(BaseModel):
       name: str
       age: int

5. typing (встроенный модуль) – базовые аннотации, но без проверки (только подсказки для IDE).

Для CI/CD удобно использовать mypy или pyright из-за их интеграции с pre-commit и GitHub Actions.