Google объявила, что во внутреннем монорепозитории основным статическим проверяющим типов для Python теперь является Pyrefly — open-source инструмент, изначально разработанный в Meta. Он полностью заменил многолетний внутренний Pytype и уже ощутимо повлиял на скорость сборок и качество диагностики.
Почему отказались от Pytype?
Больше десяти лет Pytype был ключевым инструментом Google и участвовал в формировании экосистемы typeshed. Однако архитектурные решения устарели на фоне быстрого развития системы типов Python:
- Pytype анализирует скомпилированный bytecode, а не исходный AST
- Нестабильность bytecode между версиями Python усложнила поддержку новых typing‑PEP
- Времена отклика стали недостаточными для современных циклов edit–check–build
Google уже объявила, что Python 3.12 станет последней поддерживаемой версией для Pytype, после чего началась оценка современных open-source альтернатив. В результате выбор пал на Pyrefly.
Преимущества Pyrefly
Pyrefly написан на Rust и изначально спроектирован для высокой производительности с ленивой и параллельной оценкой. По внутренним бенчмаркам Google:
- Около 10× быстрее Pytype
- До 98% снижения задержки инкрементальных пересборок
- 90–99% сокращения доли тип‑чекинга в критическом пути «чистой» сборки
- Более 80% экономии пиковых вычислительных ресурсов под проверку типов
С точки зрения языка Pyrefly предлагает:
- Около 97% прохождения официального typing conformance набора тестов
- Активное сопровождение под новые версии Python и typing‑PEP
- Строгую, sound‑проверку объединений типов: небезопасные вызовы вроде передачи
int | Noneв параметрintтеперь корректно отвергаются
Диагностика тоже заметно улучшилась: Pyrefly выводит сообщения в стиле компилятора Rust — с фрагментом кода, подчёркиванием проблемного места и, нередко, предложением исправления.
Реакция сообщества и выводы
Объявление Google вызвало обсуждения сравнения Pyrefly с Mypy, Pyright и Ty. Одни разработчики подчёркивают, что Mypy 2.0 стал значительно быстрее на больших проектах, другие указывают, что новое поколение типизаторов, включая Pyrefly, всё ещё обеспечивает прирост на порядок.
Python‑разработчик Amirrea Azadmher напоминает, что главное — не только выигрыш в CI, а улучшение цикла редактирование–проверка. Его рекомендация командам, выбирающим инструмент:
Если вы сравниваете Pyright, Pyrefly и mypy, не полагайтесь на чужие цифры по монорепам. Измеряйте холодное и тёплое время на своём дереве и оценивайте качество диагностики, а не только скорость.
Для команд, которые опираются на Python в инфраструктуре, ML‑пайплайнах или инструментах (включая embedded‑разработку), переход Google — сильный сигнал: современные Rust‑базированные тип‑чекеры готовы к промышленной эксплуатации.
