型推論はしばしば分かりづらい型エラーメッセージを生むとされますが、それは多くの言語が推論の設計において使いやすさよりも他の目標を優先してきたためです。PolySubMLは、グローバルな型推論と高度な多相性を備えつつ、ユーザーがエラーの原因を明確に理解できるよう設計されています。本記事では、その設計方針と、なぜ従来の言語が質の高いエラーメッセージを提供できないのかを丁寧に解説しています。