meta/pyrefly

これは何？

主な機能

• 01大規模なプロジェクトでも、コマンドラインからPythonコードを高速に型チェックできます。
• 02言語サーバーがコードナビゲーション、オートコンプリート、ホバー情報、インレイヒントを提供します。
• 03Pydantic、Django、pytestを標準でサポートします。
• 04MypyまたはPyrightを使っているプロジェクト向けの移行コマンドを備えています。
• 05既存のエラーを抑制し、型アノテーションを推論して、段階的に導入できます。

ユースケース

• 大規模なPythonコードベースに、CIで静的型チェックを導入する。
• VS Code、Neovim、Zedで、型情報に基づくオートコンプリートとナビゲーションを利用する。
• 影響を最小限に抑えながら、MypyまたはPyrightからプロジェクトを移行する。
• フレームワークに対応したサポートを活用して、Djangoまたはpytestのプロジェクトを型チェックする。

クイックスタート

1. 1

   pipでコマンドラインツールをインストールします

   pip install pyrefly
2. 2

   IDEのインストールページからIDE拡張機能をインストールします

使う前に知っておきたいこと

• !バージョンポリシーにより、パッチバージョンを含むすべてのリリースで、新たな型エラーや破壊的変更が導入される可能性があります。

トピック

よくある質問

pyrefly とは？

Rust製の高速なPython型チェッカー兼言語サーバー。コードナビゲーション、補完、セマンティックハイライトなどのIDE機能を備えています。 PyreflyはPython向けの型チェッカー兼言語サーバーです。型エラーを検出するコマンドラインツールとして使えるほか、VS Code、Neovim、Zedなどのエディター拡張として、コードナビゲーション、オートコンプリート、ホバー情報、インレイヒント、セマンティックハイライトを提供します。

pyrefly は無料で使えますか？ライセンスは？

pyrefly は MIT ライセンスのオープンソースです。商用製品で使う前にライセンス条件を確認してください。

pyrefly は今もメンテナンスされていますか？

活発にメンテナンス中。pyrefly の最終コミットは 2026年11月7日 です。

pyrefly は何に使えますか？

大規模なPythonコードベースに、CIで静的型チェックを導入する。 VS Code、Neovim、Zedで、型情報に基づくオートコンプリートとナビゲーションを利用する。 影響を最小限に抑えながら、MypyまたはPyrightからプロジェクトを移行する。 フレームワークに対応したサポートを活用して、Djangoまたはpytestのプロジェクトを型チェックする。

pyrefly のインストール方法は？

pipでコマンドラインツールをインストールします: pip install pyrefly IDEのインストールページからIDE拡張機能をインストールします

pyrefly はどこで入手できますか？

ソースコードとインストール手順は GitHub にあります：https://github.com/meta/pyrefly