「Pyrefly」の記事一覧

• MetaがRust製Python型チェッカーPyreflyを公開

  2025-05-17 12:47

  科学・技術

  MetaはRustで開発された新しいPython型チェッカー「Pyrefly」のアルファ版を公開しました。Pyreflyは高性能な静的型チェックと、型情報の自動推論、IDE連携を特徴とし、大規模コードベースでも1.8百万行/秒の解析性能を誇ります。既存のPyreを改良した新設計で、オープンソースとして公開され、開発者の生産性と安全性向上を目指しています。VSCode拡張やCLIも用意されており、フィードバックを募集中です。

• Pyreflyとty：Pythonの新しい型チェッカーを比較

  2025-05-27 15:01

  科学・技術

  Python向けの新たなRust製型チェッカー「pyrefly」と「ty」が登場しました。pyreflyはMetaが開発し、高速性と型推論の強化、オープンソースでの積極的な開発姿勢が特徴です。一方のtyはAstralによるもので、漸進的な型保証や明確なエラーメッセージ、交差型や否定型の導入など先進的な機能を持ちます。両者はまだα版ながら、mypyやpyrightを大きく上回る速度を実現し、今後のPython型チェッカーの進化に大きく貢献しそうです。