Pyreflyとty：Rustベースの2つの新しいPython型チェッカーが登場
2025-05-27
PyCon 2025で、MetaのPyreflyとAstralのtyという、Rustベースの2つの新しいPython型チェッカーが登場しました。Pyreflyは、前身よりも高速で、移植性が高く、機能が豊富になることを目指しており、オープンソースコミュニティにも積極的に関わっています。tyは「段階的保証」を重視しており、型アノテーションの削除によって型エラーが発生しないことを意味します。どちらもRuffをAST解析に使用し、コマンドラインとIDEの統合を提供します。ベンチマークテストでは、tyの方が一般的に高速であることが示されましたが、型推論とエラー処理においてはそれぞれ異なるアプローチを取っています。Pyreflyはより積極的なアプローチで、より多くのエラーを検出できる可能性がありますが、誤検知も増える可能性があります。tyはより保守的なアプローチで、コードの互換性を優先しています。どちらもまだ初期のアルファ版であり、今後の発展が注目されます。
続きを読む
開発
型チェッカー