Софт 20 октября 2026, 12:00 МСК

Google перевела внутреннюю проверку типов Python с Pytype на Pyrefly от Meta*

Google заменила собственный инструмент Pytype на открытый Pyrefly, который, по внутренним тестам компании, работает примерно в 10 раз быстрее.

Python широко используется в Google, в том числе для машинного обучения и работы с монорепозиторием из сотен тысяч файлов. Pytype разрабатывался более 10 лет и проверял типы по байт-коду, а его нестабильность между релизами Python усложняла поддержку новых возможностей языка. Поэтому поддержку Pytype ограничили версией Python 3.12.

Pyrefly создан компанией Meta* на Rust и открыт в 2025 году. По данным Meta*, он анализирует до 1,8 млн строк в секунду и проходит 96,6% официальных тестов на соответствие спецификации типов. Он строже Pytype: например, отклоняет передачу int | None в функцию, ожидающую int.

По внутренним тестам Google, задержка при инкрементальной пересборке снизилась до 98%, пиковое потребление вычислительных мощностей — более чем на 80%, что экономит тысячи процессорных ядер в день. Проверка типов крупных ML-моделей ускорилась с минут до секунд.

* Компания Meta Platforms Inc., владеющая соцсетями Facebook и Instagram, признана экстремистской организацией, её деятельность в России запрещена.

• Скорость выше примерно в 10 раз
• Пиковая нагрузка на вычисления ниже более чем на 80%