TypeScriptでのプログラミングにおいて、パターンマッチングは非常に重要な概念です。特に、リテラル型とユニオン型を組み合わせることで、型安全かつ柔軟な分岐処理を実現できます。

近年のフロントエンド開発において、TypeScriptの採用は標準的になりつつあります。その中で、リテラル型とユニオン型を活用したパターンマッチングは、コードの品質と保守性を大きく向上させる重要な技術となっています。

本記事では、TypeScriptのリテラル型とユニオン型の基礎から、実践的なパターンマッチングの実装方法まで、体系的に解説していきます。

リテラル型の基礎

TypeScriptにおけるリテラル型は、特定の値のみを許容する型として定義されます。これにより、コードの型安全性が大幅に向上します。

文字列リテラル型

type HttpMethod = "GET" | "POST" | "PUT" | "DELETE";

数値リテラル型

type StatusCode = 200 | 400 | 404 | 500;

真偽値リテラル型

type StrictBoolean = true | false;

リテラル型は、APIインターフェースの定義やステート管理など、様々な場面で活用できます。

ユニオン型の基礎

ユニオン型は、複数の型を結合して新しい型を作成する機能です。以下に実践的な例を示します：

type Result<T> = {
  status: "success";
  data: T;
} | {
  status: "error";
  message: string;
};

function handleResult<T>(result: Result<T>) {
  if (result.status === "success") {
    console.log(result.data);
  } else {
    console.log(result.message);
  }
}

パターンマッチングの実装

switch文による実装

type Action = 
  | { type: "INCREMENT"; amount: number }
  | { type: "DECREMENT"; amount: number }
  | { type: "RESET" };

function reducer(state: number, action: Action): number {
  switch (action.type) {
    case "INCREMENT":
      return state + action.amount;
    case "DECREMENT":
      return state - action.amount;
    case "RESET":
      return 0;
  }
}

オブジェクトマッピング

const actionHandlers = {
  INCREMENT: (state: number, amount: number) => state + amount,
  DECREMENT: (state: number, amount: number) => state - amount,
  RESET: () => 0
};

実践的な活用例

状態管理での活用

type UIState = 
  | { status: "loading" }
  | { status: "success"; data: string }
  | { status: "error"; error: Error };

function renderUI(state: UIState) {
  switch (state.status) {
    case "loading":
      return <LoadingSpinner />;
    case "success":
      return <DataDisplay data={state.data} />;
    case "error":
      return <ErrorMessage error={state.error} />;
  }
}

まとめ

TypeScriptのリテラル型とユニオン型を組み合わせることで、型安全で保守性の高いパターンマッチングを実現できます。これらの機能を適切に活用することで、より堅牢なアプリケーション開発が可能になります。

また、実践的な例を通じて、これらの型システムが実際のプロジェクトでどのように活用できるかを示しました。TypeScriptの型システムの理解を深め、より効果的なコーディングを行うための基礎として、本記事の内容を活用していただければ幸いです。

[以下、各セクションの詳細な実装例や応用パターンが続きます...]