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

Question

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

YeaHub · Accepted Answer

Статический анализ типов — это проверка типов без выполнения программы.Основной инструментMypy — наиболее распространённый инструмент.Пример:mypy app.py
Если типы не совпадают, mypy покажет ошибку.Альтернативные инструментыТакже используются:PyrightPylance (в VS Code)PyreОни:проверяют типыинтегрируются в редакторыПример ошибкиdef add(a: int, b: int) -> int:
    return a + b

add("1", 2)
Mypy покажет несоответствие типов.Когда это особенно полезноСтатический анализ полезен:в больших проектахпри работе в командепри рефакторингеВыводИнструменты статического анализа типов позволяют обнаруживать ошибки раньше, чем код попадёт в тесты или production.