Advanced TypeScript

中級者にとって、TypeScriptは「エラーを消すための道具」ではなく「安全に設計を抽象化するための強力な武器」です。

Generics の真価

特定の型に依存せず、再利用可能な関数やコンポーネントを作るために Generics は欠かせません。

function getFirst<T>(list: T[]): T | undefined {
  return list[0];
}

Union と Intersection

複数の状態を表現するための Union Types (|) と、型を合成するための Intersection Types (&) を使い分けることで、ドメインの制約を正確にコードへ落とし込めます。

Utility Types の活用

• Partial<T>: すべてのプロパティをオプショナルにする
• Pick<T, K>: 指定したプロパティのみを抽出する
• Exclude<T, U>: 特定の型を除外する

型の絞り込み (Type Narrowing)

if (typeof ... === "string") や instanceof, また is キーワードを使った User Defined Type Guards を活用することで、TypeScriptの推論を助け、開発体験を向上させましょう。

型を極めることは、バグを未然に防ぐだけでなく、優れたドキュメントとしての役割も果たします。