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

Для статической проверки типов в Python я обычно использую:

• mypy — самый популярный инструмент для проверки аннотаций типов. Позволяет находить ошибки типов до запуска кода.
• Pyright — быстрый и современный статический анализатор от Microsoft, хорошо интегрируется с редакторами.
• Pyre — инструмент от Facebook для статической типизации.

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

from typing import List

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

# mypy проверит, что в функцию передается список строк

Запуск проверки:

mypy script.py

Эти инструменты помогают выявлять ошибки типов и повышают надежность кода.