概要
Googleは10月6日、社内で10年以上使い続けてきた独自のPython型チェッカー「Pytype」を廃止し、Metaが開発したオープンソースの型チェッカー「Pyrefly」を全社の標準として採用したと発表した。背景にあるのは、Pytypeが抱えていた構造的な欠陥だ。Pytypeはソースコードではなくコンパイル済みのPythonバイトコードを解析する設計になっており、CPythonがバージョンごとにバイトコード形式を変更するたびに、Pytype側で対応のための緊急改修が必要になっていた。この負担はPython 3.11以降とくに顕著になり、Googleは最終的にPython 3.12をPytypeがサポートする最後のバージョンと位置づけ、オープンソースの代替ツールの評価に踏み切った。
PyreflyがPytypeに代わる理由
Pyreflyは、Instagramなど約2,000万行規模のPythonコードベースを抱えるMetaがRustで開発した型チェッカーで、2026年5月に v1.0 に到達している。PytypeがバイトコードをもとにPythonの型を推論していたのに対し、PyreflyはソースコードのASTを直接解析する方式を採用し、さらにRust実装によってPythonのGIL(グローバルインタプリタロック)の制約を受けずに型推論を並列化できる。この設計の違いが、大規模なモノレポでの性能差に直結した。GoogleはPyreflyの採用に際して、既存コードすべてを一度に切り替えるのではなく、評価・統合・最適化の3段階を踏み、統合の段階では動的な記述が多いコードに対するPyreflyの静的解析の課題に個別に対応していったとしている。
増分ビルドで最大98%の高速化
Googleの発表によれば、開発者が編集してリビルドするワークフロー(デーモンがウォームな状態)において、Pyreflyはターゲットによって増分ビルドのレイテンシを最大98%削減した。大規模な機械学習関連ターゲットでは、型チェックにかかる時間が分単位から秒単位へと大幅に短縮されたという。さらにクリティカルパスの処理時間は90%以上、モノレポ全体での計算リソース消費は80%以上削減されたとしており、単なる開発者体験の改善にとどまらず、Google社内のビルドインフラのハードウェアコスト削減にも直結する成果となっている。Pyrefly自身も公式の型付け適合性テストスイートで高いスコアを記録しており、Python標準の型システムへの準拠度の高さも採用を後押しした一因とみられる。
今後への影響
PyreflyはすでにPyTorchやJAXといった主要なOSSプロジェクトでも採用が進んでおり、Rustで書かれた高速な開発者ツールがPythonエコシステムの標準になっていく流れの一端を示している。長年自社ツールを使い続けてきたGoogleが、自前のPytypeを廃止してMeta製のツールへ切り替えた事実は、型チェッカーのような基盤的開発者ツールにおいても、スピードと保守性に優れたオープンソースの代替へ乗り換える合理性が高まっていることを象徴する出来事といえる。