Google перешла с Pytype на Pyrefly для проверки типов в Python

Google заменила собственный анализатор типов Pytype на открытый Pyrefly от Meta. По внутренним бенчмаркам Pyrefly примерно в 10 раз быстрее, сокращает задержку инкрементальной сборки до 98% и снижает пиковые затраты на вычисления более чем на 80%.

• Pyrefly в 10 раз быстрее Pytype по внутренним тестам Google
• Задержка инкрементальной сборки снижена до 98%
• Пиковые затраты на проверку типов упали более чем на 80%
• Pyrefly проходит около 97% тестов на соответствие спецификации типов Python