PyCon JP 2025

型チェッカーの現在地

Python開発における型チェッカーは、もはや「あれば便利」なツールではなく、プロダクション開発に不可欠な存在となりました。しかし、その選択肢は多様化し、それぞれが異なる思想と技術的アプローチを持っています。
本トークでは、現在最も注目される3つの型チェッカーを取り上げ、それぞれの特性を多角的に分析します。
歴史と実績のmypy、モダンで高速なpyright、そして革新的なアーキテクチャで注目を集めるty。これらのツールが生まれた背景と、それぞれが目指す方向性を理解することから始めます。

各型チェッカーの誕生と背景

mypy（2012年〜）
mypyは歴史の長い型チェッカーです。DropboxのエンジニアJukka Lehtosalo氏が博士研究の一環として開発を開始しました。
当時のPythonには型注釈の仕組みすら存在していなかった中で、mypyが挙げた功績についてまとめます。

pyright（2019年〜）
MicrosoftがTypeScriptの成功体験を基に開発した型チェッカーです。
「開発者体験の向上」を最優先に掲げ、短期間で成熟度を高めたこのチェッカーの思想についてお話ししま　す。

ty（2024年発表、2025年プレビュー版）
Astral社が「Python開発ツールの再発明」というビジョンの下で開発中の次世代型チェッカーです。
このチェッカーの登場から、今注目されている理由についてご紹介します。

実践的な比較検証

1. パフォーマンス比較
   異なるサイズのプロジェクトでの性能測定結果を提示します。初回実行時間、インクリメンタルチェックの速度、メモリ使用量など、開発効率に直結する指標を比較することで、
   各ツールの実装言語（Python/TypeScript/Rust）の違いが、どのようにパフォーマンスに影響するかを解説します。

2. 型推論能力比較
   Pythonの様々な型機能に対して、各ツールがどこまで推論できるかを検証します。基本的な型注釈から、ジェネリクス、Protocol、型ガード、デコレータなど、段階的に複雑度を上げながら、それぞれの推論能力の限界を探ります。同じコードに対する3つのツールの解釈の違いを並べて比較してみましょう。

3. エラーメッセージの比較
   開発者の生産性に直結するエラーメッセージの質を比較します。よくある型エラーのパターンを用意し、各ツールがどのようなメッセージを出力するかを実演します。エラーの特定しやすさ、修正提案の有用性、メッセージの分かりやすさを、実際にお見せして評価を行います。

比較結果から見るツールの本質と、選択指針

実験結果を総合し、各ツールがどのような開発シーンで最も力を発揮するかを整理します。単純な優劣ではなく、それぞれが提供する価値の違いに焦点を当ててお話しします。
また、プロジェクトの規模、チームの状況、使用するフレームワークやエディタなどに応じた型チェッカー選択の決定木を提示します。大規模プロジェクトでの選択、中小規模での最適解、新規プロジェクトでの実験的アプローチなど、具体的なシナリオ別の推奨事項についてご紹介します。

本トークを通じて、参加者の皆様が自信を持って型チェッカーを選択し、より安全で生産的なPython開発を実現できることを願っています。