TypeScript

どんな言語か

TypeScript は 2012 年に Microsoft（設計は Anders Hejlsberg）が公開した言語で、JavaScript に静的型システムを足した「スーパーセット」です。正しい JavaScript はそのまま正しい TypeScript でもあるため、既存コードに少しずつ型を導入していけます。

通常のブラウザ配布では、コンパイラやバンドラーが TypeScript を JavaScript へ変換してから実行します。現在の Node.js は、消去可能な型構文だけを含む .ts を型除去して直接起動できますが、tsconfig.json は読み込まず型検査もしません。どちらの経路でも型注釈や interface は実行時に残らないため、型は「開発時の安全装置」であって実行時の検証ではありません。

横にスクロール

型がもたらす価値

型の本当の効果は、エディタとの連携で現れます。補完・リファクタリング・定義ジャンプが正確になり、関数の引数や戻り値の食い違いを書いた瞬間に検出できます。

• コードが仕様書を兼ね、大人数開発でも認識がそろう。
• リファクタリング時に壊れた箇所を型エラーが洗い出す。
• 今や大規模 Web 開発の事実上の標準になっている。

得意なこと・不得意なこと

フロントエンド（React など）からサーバーサイド（Node.js）まで、JavaScript が動く場所すべてで使えます。一方、型はあくまで開発時のもので、外部 API の戻り値など実行時のデータが型どおりとは限りません。型を信じすぎると、想定外の値で実行時エラーになります。

つまずきやすいところ

// interface で構造を定め、関数に型注釈を付ける
interface User {
  id: number;
  name: string;
}
function greet(user: User): string {
  return `Hello, ${user.name}`; // 名前の打ち間違いは型でも防げない
}

• any を多用すると、せっかくの型チェックが無効になる。
• ライブラリの型定義（@types）が古い／不正確なことがある。