2.8万件のエラーを潰して大規模 Python プロジェクトを mypy strict 化した話

この記事は、GROOVE Xアドベントカレンダー2025 の3日目の記事です。 はじめに こんにちは!ふるまいチームの橋本です。 普段は LOVOT の意思決定エンジンである NeoDM の開発を行っています。 今回は、Pythonで書かれたこの大規模な意思決定エンジンに対し、型安全性を高めるために mypy の strict モード を導入した取り…