AIはなぜTypeScriptのような型付き言語の普及を促進するのか、GitHubが理由を説明

GitHubは1月8日付けの同社のブログ「Why AI is pushing developers toward typed languages」（なぜAIは開発者を型付け言語に向かわせるのか）で、AIによるコード生成が広がることがTypeScriptのような型付け言語の人気を押し上げているという理由を説明しています。

型付け言語の人気の高まりは、昨年のGitHubの調査結果で長年にわたり人気の言語だったJavaScriptをTypeScriptが抜いたことで注目されるようになりました。

• GitHubで最も使われている言語の1位はPythonを抜いてTypeScriptに、最もコントリビュータが増加したOSSは「Zenブラウザ」。Octoverse 2025

型付け言語の人気が今後さらに広がるであろうことは、昨年（2025年）12月にGitHubが投稿したブログ「TypeScript, Python, and the AI feedback loop changing software development」でも今後の明確なトレンドとして予想されており、今回のブログでも同社の別の筆者によって同様の主張がなされています。

ブログのポイントを見ていきましょう。

生成AIによるコンパイルエラーの94％は型チェック

今回のブログでは、AIがこれまで以上に多くのコードを生み出すようになるにつれ、より信頼性の高いコードの生成が求められることは必然であり、それ故に信頼性を担保する仕組みとして型付け言語が優れているのだと説きます。下記はブログからの引用です。

With AI tools and agents producing larger volumes of code and features than ever, it only makes sense that reliability is more critical. And… that is where typed languages win the debate. Not because untyped languages are “bad,” but because types catch the exact class of surprises that AI-generated code can sometimes introduce.

AIツールやエージェントがこれまで以上に大量のコードや機能を生み出している今、信頼性がより重要になるのは当然のことです。そして……この点において型付き言語が勝ることは議論の余地なしです。型なし言語が「悪い」わけではなく、AIがときどき生成するびっくりするようなコードを、型があれば確実に抑えることができるからです。

この説明を補強する材料として、生成AIによるコードのコンパイル時エラーの94％は型にまつわるものだったとしています。

a 2025 academic study found that a whopping 94% of LLM-generated compilation errors were type-check failures. Imagine how much your projects would improve if 94% of your failures went away!

2025年の学術研究によると、LLMが生成したコードによるコンパイルエラーの94％が型チェックの失敗であることが明らかとなっています。もしも、この失敗とされた94％のコンパイルエラーがなくなったら、どれだけプロジェクトが良くなるか想像してみてください！

型付け言語を利用することで、コンパイルよりもずっと手前でこうしたエラーを発見できるか、あるいは最初からこうしたエラーのない正しいコードが生成されることが期待できるでしょう。

GitHubのブログは結論として、型システムはソフトウェアの構築においてさらに中心的な役割を果たすことが期待されるとしています。

Type systems don’t replace dynamic languages. But, they have become a common safety feature for developers working with and alongside AI coding tools for a reason. As we see AI-assisted development and agent development increase in popularity, we can expect type systems to become even more central to how we build and ship reliable software.

型システムは動的言語を置き換えるわけではありません。しかし、AIコーディングツールと共に作業する開発者にとって、これらは一般的な安全機構となっています。AI支援開発やエージェント開発の人気が高まる中で、型システムは信頼性の高いソフトウェアの構築と提供においてさらに中心的な役割を果たすことが期待されます。