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

Статический анализ типов — это проверка типов без выполнения программы.

Основной инструмент

Mypy — наиболее распространённый инструмент.

Пример:

mypy app.py

Если типы не совпадают, mypy покажет ошибку.

Альтернативные инструменты

Также используются:

• Pyright

• Pylance (в VS Code)

• Pyre

Они:

• проверяют типы

• интегрируются в редакторы

Пример ошибки

def add(a: int, b: int) -> int:
    return a + b

add("1", 2)

Mypy покажет несоответствие типов.

Когда это особенно полезно

Статический анализ полезен:

• в больших проектах

• при работе в команде

• при рефакторинге

Вывод

Инструменты статического анализа типов позволяют обнаруживать ошибки раньше, чем код попадёт в тесты или production.