ty

tyは、uvとRuffの開発元であるAstralによる高性能Python型チェッカー兼言語サーバーです。Rustで書かれており、home-assistant/coreなどの大規模プロジェクトのベンチマークで示されたように、mypyやPyrightといった確立されたツールよりも10倍から100倍高速な型チェック速度を実現します。 主な機能には、リッチな文脈情報を備えた包括的な診断、設定可能なルールレベル、ファイル単位のオーバーライド、抑制コメントが含まれます。このツールは再宣言と部分的に型付けされたコードをサポートしており、型付けカバレッジが混在するプロジェクトへの段階的な導入が可能です。 言語サーバーは、コードナビゲーション、補完、コードアクション、自動インポート、インラインヒント、ホバー時のヘルプを提供し、IDE編集時の高速更新のための細かいインクリメンタル解析を備えています。エディタ統合はVS Code、PyCharm、Neovimなどで利用可能です。 高度な型機能には、ファーストクラスの交差型、洗練された型絞り込み、到達可能性に基づく解析が含まれます。tyは公式にPython 3.10以降のターゲットをサポートしており、それ以前のバージョン（3.7〜3.9）も選択可能ですが、標準ライブラリのスタブが限られているため、偽陽性または偽陰性が生じる可能性があります。 現在ベータ版であり、0.0.xバージョン番号のため、tyはまだAPIの安定性を保証していません。開発はRuffリポジトリで行われています。プロジェクトはMITライセンスであり、uvx ty checkで迅速に実行したり、play.ty.devのオンラインプレイグラウンドで試したりできます。