「型チェッカー」の記事一覧

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

  2025-05-27 15:01

  科学・技術

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

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

  2025-05-17 12:47

  科学・技術

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

• Rust製の高速Python型チェッカー「ty」、GitHubで開発中

  2025-05-07 17:32

  IT・ネット

  「ty」はRustで書かれた高速なPython型チェッカーおよび言語サーバで、現在プレリリース段階にあります。開発はRuffリポジトリで行われており、安定性や機能の充実に向けた取り組みが進められています。MITライセンスで提供され、コントリビューションも歓迎されています。型安全性の高い開発を重視するPythonユーザーや、Rustベースのツールに関心のある開発者に注目されています。