型があると何が嬉しいか

「動かしてみて初めて壊れる」を減らす

型のないコードは、間違った値を渡しても、その場では何も言われません。実際に動かして、しかもその部分が実行されたときになって初めて壊れます。AIが生成したコードだと、間違いがどこに紛れているか気づきにくく、これが厄介です。

TypeScriptは値の種類を先に宣言しておくので、合わない使い方をすると実行する前(コードを書いている最中)に警告が出ます。次の比較を見てください。

function price(count, unit) {
  return count * unit;
}

// unitに文字列を渡してしまった(AIの取り違え)
price(3, "100"); // その場では何も言われない

function price(count: number, unit: number): number {
  return count * unit;
}

// 文字列 "100" は number ではないと警告される
price(3, "100"); // ここで赤線が出て気づける

型は「読める仕様書」にもなる

型注釈は、その関数が何を受け取り何を返すのかを示す小さな仕様書です。あとから読む人(未来の自分やAI)が、中身を全部読まなくても使い方を推測できます。

// 型を見るだけで「文字列を1つ受け取り、文字列を返す」とわかる
function toUpper(text: string): string {
  return text.toUpperCase();
}

1. 型を書く
2. AIに実装を書いてもらう
3. 型に合わない箇所は警告が出るので、そこを重点的に確認する
4. 説明できる状態でコミットする