pyrefly
SHA-256超高速Python型チェッカーおよび言語サーバー。Metaの2000万行のコードで検証済み。速度はMypy/Pyrightの15倍。IDE応答時間は10ミリ秒未満。インストールしてすぐに使える。
スマートダウンロード
Download 版をダウンロード
v1.0.0 · 12.9 MB
Mypyよりも15倍速い型チェッカーで、Instagramも使用しており、コードの自動補完やナビゲーションも可能です。
主な機能
- 超高速チェック：毎秒185万行のコードを処理、MypyやPyrightの15倍
- 完全なIDEサポート：コードナビゲーション、オートコンプリート、ホバー情報、インラインヒント、セマンティックハイライト
- ネイティブフレームワークサポート：PydanticやDjangoが箱から出して使え、モデル検証とフィールドタイプの自動認識
- シームレスな移行：Mypy/Pyrightからワンクリックで初期化、古いエラーを自動抑制、新しいチェックを段階的に有効化
- プロダクションでの実証：Meta Instagramの2000万行コードでデフォルト使用、PyTorch/JAXなどのオープンソースプロジェクトで採用
できないこと
- •Pyrefly は厳格なセマンティックバージョニングに従わないため、マイナーバージョンアップによって新しい型エラーが発生する可能性があります。`pyrefly suppress` コマンドを使用すると、アップグレード後に新たに発生したエラーをワンタッチで抑制できます。また、一部の非標準的な Python 構文（動的属性注入など）は完全にカバーできない場合があります。
使用例
- 大規模Pythonプロジェクトの型チェックとIDEの強化、特に既にMypy/Pyrightの設定があるチームが速度を向上させたい場合
- PydanticまたはDjangoを使用するプロジェクトで、ゼロコンフィグのモデル検証とフィールド型サポートを得たい場合
詳細説明
Pyreflyは、超高速のPython型チェッカー兼言語サーバーです。Meta社内部の2000万行のInstagramコードベースで検証されており、毎秒185万行以上のコードをチェックでき、MypyやPyrightの15倍の速度を誇ります。IDEでファイルを保存した後の再チェックは、通常10ミリ秒未満です。完全な言語サーバー機能（コードナビゲーション、自動補完、ホバー情報、インラインヒント、セマンティックハイライトなど）を提供し、PydanticやDjango（モデルバリデーション、フィールド型、自動補完がそのまま使える）をネイティブサポートしています。MypyやPyrightからの移行は、`pyrefly init`で設定を初期化し、`pyrefly suppress`で既存のエラーを抑制し、`pyrefly infer`で型アノテーションを自動生成するだけです。`pip install pyrefly`でコマンドラインツールをインストールでき、VS Code、Neovim、Zedなどのエディター拡張機能もインストール可能です。
トラブルシューティング & FAQ (1)
トラブル対応`pyrefly check --suppress-errors` はなぜ inline ignore comment を multiline f-string の上ではなく、その内部に配置するのですか？
これは pyrefly 1.1.0 より前のバージョンにおける既知のバグです。修正は commit 170ea02a1a3a1a437437dd5753f2df0d7b82620e に含まれています。pyrefly 1.1.0 以降にアップデートすることで、抑制コメントを文の前の行に配置する正しい動作が得られます。
タグ
はじめ方
ソフトウェアをインストール
ディストリビューションに合ったパッケージをインストール（dpkg / rpm / AppImage）
ターミナルで pip install pyrefly を実行してコマンドラインツールをインストールします
プロジェクトディレクトリで pyrefly init を実行して設定ファイルを生成します（または pyrefly を直接実行してデフォルト設定を使用します）
エディタ拡張機能をインストール：VS Code で Pyrefly を検索してインストールするか、公式サイトに従って Neovim/Zed を設定します
- ターミナルで pip install pyrefly を実行してコマンドラインツールをインストールします
- プロジェクトディレクトリで pyrefly init を実行して設定ファイルを生成します（または pyrefly を直接実行してデフォルト設定を使用します）
- エディタ拡張機能をインストール：VS Code で Pyrefly を検索してインストールするか、公式サイトに従って Neovim/Zed を設定します
SHA-256 チェックサム確認済み
GitHub 公式 Release ページから抽出されたチェックサム
SHA256 チェックサム
8b35318ba7377a621ff9d9ef77a443b6ad3cf065be566c84f5ae9c8318df5459このチェックサムは GitHub Release ページから抽出されたものです。ダウンロード後にファイルの整合性を確認してください。
本プラットフォーム上のすべての SHA-256 チェックサムは、プロジェクトの公式 GitHub Release ページから抽出されたもので、一切の改変はありません。GitHub Releases ページで独自に検証できます。
オープンソースの透明性
GitHub ソースを見るアンインストール情報
端末で pip uninstall pyrefly を実行してコマンドラインツールをアンインストールします。VS Codeの拡張パネルでPyrefly拡張を無効化またはアンインストールします。
追加の依存関係なし
ダウンロード後すぐに使用可能。追加のランタイムは不要です。
問題が発生？以下のFAQを確認
1 FAQ