Misato Maeda PyCon JP 2025

Recustomer株式会社で主にバックエンド開発をしています。最近は型安全性や関数型プログラミングの考え方を取り入れた設計に関心があり、ドメイン駆動設計や Result 型によるエラー処理の改善に取り組んでいます。

本トークでは、現在最も注目される3つの型チェッカーを比較し、それぞれの特性と適用場面を明らかにします。

対象となるツールは：
- mypy：Pythonコミュニティで最も歴史があり、67%の開発者が使用する事実上の標準
- pyright：Microsoftが開発し、38%が使用するモダンな型チェッカー
- ty：Astral社（ruff/uvの開発元）がRustで開発中の次世代型チェッカー

これら3つのツールは、それぞれ異なる設計思想と強みを持っています

本トークでは、実際のPythonプロジェクトを用いて以下の観点から比較検証を行います
1. パフォーマンス比較
2. 型推論能力比較
3. エラーメッセージの比較

さらに、各ツールが得意とするユースケースを紹介します。
型安全なPython開発は、もはや選択肢ではなく必須要件となりつつあります。
本トークを通じて、プロジェクトに最適な型チェッカーを選択し、チーム全体の生産性を向上させる知見を得ていただければ幸いです。