<a href="https://www.stork.ai/en/pyrefly" target="_blank" rel="noopener noreferrer"><img src="https://www.stork.ai/api/badge/pyrefly?style=dark" alt="Pyrefly - Featured on Stork.ai" height="36" /></a>

Markdown

[![Pyrefly - Featured on Stork.ai](https://www.stork.ai/api/badge/pyrefly?style=dark)](https://www.stork.ai/en/pyrefly)

overview

Pyrefly とは？

Pyrefly は Meta が開発した静的型チェッカーおよび言語サーバーツールで、Python 開発者が実行時前に型関連のエラーを捕捉できるようにします。開発者エクスペリエンスを向上させ、コード品質を改善するための強力な IDE 機能を提供します。Rust で書かれた Pyrefly は、以前の Python ベースの型チェッカーと比較して大幅な速度向上を実現し、1秒あたり最大180万行のコードを分析できます。あらゆる規模のコードベースで高いパフォーマンスを発揮するように設計されており、Instagram や PyTorch などのアプリケーションで Meta 社内で実証済みです。Pyrefly はコマンドラインツールとしても、統合された言語サーバーとしても機能し、豊富な統合開発環境 (IDE) エクスペリエンスを提供します。

quick facts

基本情報

属性	値
開発元	Meta
ビジネスモデル	オープンソース
価格	無料
プラットフォーム	IDE (VSCode, Neovim, Zed), コマンドライン, Jupyter Notebook
API 利用可能	はい (Language Server Protocol)
統合	VSCode, Neovim, Zed, Jupyter Notebook
設立	アルファ版リリース 2025年5月

features

Pyrefly の主な機能

Pyrefly は、高度な静的解析と包括的な言語サーバー機能を統合し、Python のための堅牢な開発環境を提供します。Rust でのコア設計により、特に大規模プロジェクトにおいて、高いパフォーマンスと応答性を保証します。

1Python コードの高速な静的型チェックにより、実行時前に型関連のエラーを特定します。
2完全な Language Server Protocol 実装により、豊富な IDE 機能を提供します。
3定義へ移動などのコードナビゲーション機能。
4コードの可読性を向上させるためのセマンティックハイライト。
5インテリジェントなコード補完の提案。
6型詳細やドキュメントに素早くアクセスできるホバー情報。
7自動インポートリファクタリングなどの高度なリファクタリング機能。
8Jupyter Notebook の診断および言語機能のサポート。
9外部ライブラリの型チェックを強化するためのバンドルされたサードパーティースタブ。
10大規模なコードベースでの高いパフォーマンス、1秒あたり最大180万行のコードを処理。

use cases

Pyrefly は誰が使うべきか？

Pyrefly は、特に複雑で大規模なプロジェクトにおいて、コード品質、保守性、開発者エクスペリエンスを優先する Python 開発者およびチーム向けに設計されています。

1開発サイクル中に型関連のエラーを早期に捕捉したい Python 開発者。
2堅牢な型アノテーションを通じてコード品質と可読性の向上を必要とする大規模な本番コードベースで共同作業を行うチーム。
3コードナビゲーションやオートコンプリートなどの高度な言語サーバー機能の恩恵を受ける、VSCode、Neovim、Zed などの IDE やエディターのユーザー。
4型の一貫性を確保し、より安全なリファクタリングを可能にするために、PyTorch での採用に代表される AI/ML ライブラリおよびフレームワークに取り組む開発者。

pricing

Pyrefly の価格とプラン

Pyrefly は Meta が開発したオープンソースプロジェクトで、GitHub で公開されています。そのコア機能とソースコードは一般に無料で提供されており、Pyrefly の現在の提供には明示的な有料ティアやサブスクリプションプランはありません。

competitors

Pyrefly と競合製品の比較

Pyrefly は、古い Python ベースのツールのパフォーマンス制限を克服するために Rust で構築された、次世代の Python 型チェッカーおよび言語サーバーとして位置付けられています。より高速で統合された開発エクスペリエンスを提供することを目指しています。

1Pyrefly vs MyPy: Pyrefly は、MyPy の 50.6 秒と比較して PyTorch の分析を 5.5 秒で完了するなど、大幅に高速な型チェックを提供し、言語サーバー機能を IDE に直接統合します。
2Pyrefly vs Pylance (Pyright を搭載): Pyrefly は VS Code 以外のより広範な IDE 互換性向けに設計されており、Pyright の 35.2 秒と比較して PyTorch を 5.5 秒でチェックするなど、優れたパフォーマンスを発揮します。
3Pyrefly vs Pytype: Pyrefly は静的型チェッカーと豊富な IDE 機能を備えた完全な言語サーバーの両方として機能しますが、Pytype は主に直接的な言語サーバー機能なしで型推論とチェックに焦点を当てています。
4Pyrefly vs Pyre: Pyrefly は、Meta の以前の OCaml ベースの型チェッカーである Pyre の後継として、応答性の高い IDE 型チェックの制限を克服し、拡張性とコミュニティへの焦点を強化するために、Rust でゼロから書き直されました。
5Pyrefly vs Ty (Astral): Pyrefly は、型推論においてより積極的であり、より広範な既存の機能セット、優れたドキュメント、および移行ツールを備えており、2025年8月時点で Python の型付け適合性テストケースで Ty (~15%) と比較して高い合格率 (~58%) を達成しています。

❓

Frequently Asked Questions

+Pyrefly とは何ですか？

Pyrefly は Meta が開発した静的型チェッカーおよび言語サーバーツールで、Python 開発者が実行時前に型関連のエラーを捕捉できるようにします。開発者エクスペリエンスを向上させ、コード品質を改善するための強力な IDE 機能を提供します。

+Pyrefly は無料ですか？

はい、Pyrefly は Meta が開発したオープンソースプロジェクトであり、GitHub で無料で利用できます。

+Pyrefly の主な機能は何ですか？

Pyrefly の主な機能には、高速な静的型チェック、IDE 用の完全な言語サーバー（コードナビゲーション、セマンティックハイライト、コード補完、ホバー情報、リファクタリングを提供）、および Jupyter Notebook のサポートが含まれます。大規模な Python コードベースで高いパフォーマンスを発揮するために Rust で構築されています。

+Pyrefly は誰が使うべきですか？

Pyrefly は、大規模な本番コードベースで作業する Python 開発者やチーム、型アノテーションを通じてコード品質の向上を目指す人々、および高度な言語サーバー機能の恩恵を受ける VSCode、Neovim、Zed などの IDE ユーザーを対象としています。

+Pyrefly は他の代替製品と比較してどうですか？

Pyrefly は、Rust 実装により MyPy や Pyright などの代替製品と比較して大幅に高速な型チェック（例：PyTorch で 5.5 秒 vs MyPy の 50.6 秒）を提供することで差別化を図っています。また、Pytype のようなツールと比較して、より統合された言語サーバーエクスペリエンスを提供し、Meta の以前の Pyre プロジェクトの後継として、パフォーマンスと拡張性を向上させるために構築されました。