IT用語: 型安全性（Type Safety）とは｜TypeScriptが防ぐバグの種類

型安全性とは

型安全性は、プログラムが意図しない型（文字列に数値を渡す等）の操作を行うことをコンパイル時や実行前に検出・防止する性質です。TypeScriptのような静的型付け言語は型安全性が高く、「数値のはずの引数に文字列を渡した」ようなバグを実行前に発見できます。

JavaScriptとTypeScriptの比較

// JavaScript（型なし）: 実行するまでエラーがわからない
function greet(name) {
  return "こんにちは、" + name.toUpperCase();
}
greet(42); // 実行時エラー: toUpperCase is not a function

// TypeScript（型あり）: 関数定義時にエラーを検出
function greet(name: string): string {
  return "こんにちは、" + name.toUpperCase();
}
greet(42); // コンパイルエラー: Argument of type 'number' is not assignable to parameter of type 'string'

型安全性のメリット

大規模なコードベースほど型安全性の恩恵が大きく、IDEの補完機能・リファクタリングの安全性・コードの自己文書化にも貢献します。