AI Won The Typescript War
議論は終わった。TypeScriptが勝利したのは、より優れた議論があったからではない。AIツールがその議論を無意味にしたからだ。
研究者たちは重要なパターンを発見した。AIが生成したコードにおけるコンパイルエラーのほとんどは、型の不一致（type mismatch）である。これらはロジックのエラーではない。関数の形状や引数が間違っているという、単純なミスなのだ。
AIはパターンに従うことで、高速にコードを生成する。しかし、AIはコードベース全体の完全なメンタルモデルを保持しているわけではない。人間は経験を通じて型の誤りに気づくかもしれないが、型チェッカーは文脈に関係なく、即座にそれを検知する。
静的型付けは、もはやスタイルの選択肢ではない。AIが書いたコードのための安全装置なのだ。
これが日々の業務にどのように影響するかを見てみよう：
AIを用いた動的型付けのコードベース：
- AIが関数を書く。
- 型は暗黙的である。
- エラーを手動で見つけなければならない。
AIを用いた静的型付けのコードベース：
- AIが関数を書く。
- 型チェッカーが即座にミスを指摘する。
ミスの発生率は同じである。しかし、それを修正するコストが異なる。これが、TypeScriptの採用が拡大し続けている理由だ。人間ではない存在が初稿を書く際、型は安価な保険として機能する。
このルールは他の言語にも当てはまる。Rustは、この点においてさらに有用だ。ボローチェッカー（borrow checker）は、AIが頻繁に引き起こすメモリや並行性のバグを防いでくれる。これらのバグは、局所的には正しく見えるが、実行時に失敗する。
言語が勝利しているのは、AI支援による開発のレビューをより安全にしているからだ。
もしあなたがチームを率いているなら、以下のステップに従ってほしい：
- まず、境界部分に型を追加する。
- 関数のシグネチャとAPIコントラクトに集中する。
- モジュール間でデータが移動する領域を保護する。
注意：型安全性は万能薬ではない。AIが陥りやすいバグは検知できるが、不適切なロジックや誤った要件までは検知できない。コンパイルが通るコードが、常に正しいとは限らないのだ。型チェッカーはシートベルトであり、ドライバーではない。
あなたのチームはデフォルトで strict mode を使用していますか？ ぜひ下のコメント欄で意見を聞かせてください。