【要約】mypyがしれっと2.xになっていた件 [Zenn_Python] | Summary by TechDistill
> Source: Zenn_Python
Execute Primary Source
// Problem
mypyの開発チームは、型チェックの実行速度と推論精度の向上という課題に取り組んできた。長年の課題として、以下の問題が存在していた。
- ・型チェックの実行速度：大規模なコードベースにおいて、型チェックに多大な時間を要していた。
- ・型推論の精度：if文やmatch文による型絞り込み（narrowing）が不十分なケースがあった。
- ・型定義の抜け穴：Python 3.5時代の古い型コメントにより、不適切な型が許容される状況があった。
// Approach
mypyの開発チームは、メジャーアップデート2.0において、実行速度の向上と型チェックの厳格化を同時に進めた。具体的には以下の手法を採用している。
- ・並列型チェックの実装：coordinatorプロセスがworkerプロセスへ仕事を割り振る構成を導入した。進捗管理にはSQLiteの差分キャッシュを利用する。
- ・型推論（narrowing）の強化：if文やmatch文における型絞り込みロジックを改善した。
- ・厳格な仕様の標準採用：--strict-bytes（PEP 688）などのオプションをデフォルトで有効化した。
// Result
mypy 2.xの導入により、大規模プロジェクトにおける型チェックの効率が大幅に改善された。主な成果は以下の通りである。
- ・実行速度の向上：大規模プロジェクトにおいて、8ワーカー使用時に最大5倍の高速化を実現した。
- ・開発体験の改善：型推論の精度向上に加え、エラーメッセージに「did you mean...?」等の親切な提案が追加された。
- ・型安全性の向上：Python 3.9ターゲットの廃止や、型コメントの抜け穴除去により、より厳格なチェックが可能となった。
Senior Engineer Insight
> 並列化による高速化は、循環依存の少ない大規模プロジェクトにおいてのみ真価を発揮する。実務では、並列モードの導入よりも、型推論の強化や厳格化によるコード品質の向上を優先すべきだ。Rust製チェッカーの台頭はあるが、Django等の豊富なプラグイン資産を持つmypyの優位性は依然として高い。CIへの導入は、まずは単一プロセスでの安定稼働を優先し、段階的に並列化を検討するのが定石である。