В 2025 году экосистема Python-инструментов для статической типизации переживает всплеск инноваций.
Сразу три новых инструмента — Ty (от Astral), Pyrefly (от Meta) и Zuban (от David Halter) — были написаны на Rust и привнесли новую скорость, стабильность и интеграцию в экосистему Python.
🚩 Ty (Astral)
Создан командой Astral, разработчиками
ruff. Основан на принципах постепенного внедрения и высокой отзывчивости. Использует Rust-библиотеку salsa для инкрементальных вычислений, что делает проверку мгновенной в IDE.🚩 Pyrefly (Meta*)
Новый инструмент от Meta, преемник
pyre. Улучшен в плане автоматического вывода типов и глубокой аналитики. Разрабатывается с упором на производительность и масштабируемость, подходящую для крупных компаний.🚩 Zuban (David Halter)
Проект автора
jedi, с упором на совместимость с mypy. Недавно стал open source (AGPL). Отличается плавным переходом с других проверяющих систем и ориентацией на корпоративное использование.🧭 Как выбрать инструмент
— Для новых проектов: любой из трёх подойдёт — все обеспечивают современный уровень типизации.
— Для больших кодовых баз: Zuban и Pyrefly обеспечивают лучшую совместимость и глубину анализа.
— Для ежедневной разработки: Ty предлагает идеальный баланс скорости, UX и интеграции с линтером
ruff.👉 Подробная статья с разбором
🐸 Библиотека питониста
#буст
* признана экстремистской организацией в России