はじめに
Pythonは動的型付け言語です。大規模なプロジェクトでは型の問題によるバグが発生しやすいという課題があります。このような課題に対応するため、Metaが新しいPython型チェッカー「Pyrefly」をオープンソースとして公開しました。
本記事では、2025年5月15日に発表されたばかりのPyreflyについて、その特徴や使用方法、従来ツールとの違いなどを初心者向けに解説します。
Pyreflyとは
Pyreflyは、Rustで開発されたPythonの型チェッカーおよびIDE拡張機能です。主な特徴として以下が挙げられます：
- 静的型チェックによりコード実行前に型の不整合を検出
- VSCodeなどのIDEとの統合機能
- コマンドラインインターフェース（CLI）のサポート
- 高速なパフォーマンス（大規模コードベースで秒間180万行のコードをチェック可能）
- 型注釈がないコードでも自動的に型を推論する機能
現在はアルファ版としてリリースされており、MITライセンスでGitHubにて公開されています。
開発の背景
Pyreflyの開発はインスタグラムの大規模なPythonコードベースを管理するために始まりました。2017年にMetaは「Pyre」という型チェッカーを開発しましたが、時間の経過とともに型システムの進化とIDE応答性の要求が高まり、新しいアプローチが必要となりました。
Metaは代替ソリューションを探索する中で、コードナビゲーションにはMicrosoftの「Pyright」などコミュニティツールも活用していましたが、最終的にはコードナビゲーション、大規模チェック、他サービスへの型エクスポートができる拡張可能な型チェッカーの必要性から、Pyreflyを開発することにしました。
Pyreflyの基本原則
Pyreflyの開発には以下の原則が適用されているそうです：
1. パフォーマンス
従来CIでのみ行われていたチェックをキーストローク毎に実行できるよう、高速な処理が重視されています。Rustで実装されており、あらゆるサイズのコードベースで高いパフォーマンスを発揮します。
2. IDE優先
IDEとコマンドラインで一貫した結果を得られるよう設計されています。これにより開発者は同じツールを異なる環境で使用しても同じ結果を得ることができます。
3. 型推論
多くのPythonプログラムは型注釈がありません。Pyreflyは型注釈がないコードでも自動的に戻り値やローカル変数の型を推論し、IDE上に表示します。さらにIDE上でダブルクリックするだけで、これらの推論された型を挿入することもできます。
4. オープンソース
MITライセンスでオープンソース化されており、コミュニティからの貢献を歓迎しています。
従来のツールとの比較
Pyreflyと他の主要なPython型チェッカーの比較です：
| 特徴 | Pyrefly | mypy | Pyright/Pylance |
|---|---|---|---|
| 実装言語 | Rust | Python | TypeScript |
| パフォーマンス | 非常に高速 | 中程度 | 高速 |
| IDE統合 | VSCode拡張 | 各種IDE対応 | VSCode内蔵 |
| 型推論 | 強力 | 基本的 | 強力 |
| コマンドライン | サポート | サポート | サポート |
| コミュニティ | 新興（Meta主導） | 成熟 | 成熟（Microsoft主導） |
将来の展望
Metaは今後Pyreflyをさらに発展させ、Pythonコミュニティと協力して言語の発展と開発者体験の向上に貢献する意向を示しています。2025年夏までにアルファラベルを外すことを目指しており、ユーザーからのフィードバックを募集しています。