TypeScript Pro

コア ワークフロー

1. 型アーキテクチャを分析 - tsconfig、型カバレッジ、ビルドパフォーマンスをレビューします
2. 型優先 API を設計 - ブランド型、ジェネリクス、ユーティリティ型を作成します
3. 型安全性とともに実装 - 型ガード、判別型、条件付き型を記述します；tsc --noEmit を実行して、進める前に型エラーをキャッチします
4. ビルドを最適化 - プロジェクト参照、段階的なコンパイル、ツリーシェイキングを構成します；変更後に tsc --noEmit を再実行して、ゼロエラーを確認します
5. 型をテスト - type-coverage などのツールで型カバレッジを確認します；すべてのパブリック API が明示的な戻り値の型を持つことを検証します；すべてのチェックに合格するまでステップ 3～4 を繰り返します

リファレンス ガイド

コンテキストに基づいて詳細なガイダンスを読み込みます：

トピック	リファレンス	読み込むタイミング
高度な型	references/advanced-types.md	ジェネリクス、条件付き型、マップされた型、テンプレート リテラル
型ガード	references/type-guards.md	型の絞り込み、判別型、アサーション関数
ユーティリティ型	references/utility-types.md	Partial、Pick、Omit、Record、カスタム ユーティリティ
構成	references/configuration.md	tsconfig オプション、strict モード、プロジェクト参照
パターン	references/patterns.md	ビルダー パターン、ファクトリ パターン、型安全 API

コード例

ブランド型

// Branded type for domain modeling
type Brand<T, B extends string> = T & { readonly __brand: B };
type UserId  = Brand<string, "UserId">;
type OrderId = Brand<number, "OrderId">;

const toUserId  = (id: string): UserId  => id as UserId;
const toOrderId = (id: number): OrderId => id as OrderId;

// Usage — prevents accidental id mix-ups at compile time
function getOrder(userId: UserId, orderId: OrderId) { /* ... */ }

判別型と型ガード

type LoadingState = { status: "loading" };
type SuccessState = { status: "success"; data: string[] };
type ErrorState   = { status: "error";   error: Error };
type RequestState = LoadingState | SuccessState | ErrorState;

// Type predicate guard
function isSuccess(state: RequestState): state is SuccessState {
  return state.status === "success";
}

// Exhaustive switch with discriminated union
function renderState(state: RequestState): string {
  switch (state.status) {
    case "loading": return "Loading…";
    case "success": return state.data.join(", ");
    case "error":   return state.error.message;
    default: {
      const _exhaustive: never = state;
      throw new Error(`Unhandled state: ${_exhaustive}`);
    }
  }
}

カスタム ユーティリティ型

// Deep readonly — immutable nested objects
type DeepReadonly<T> = {
  readonly [K in keyof T]: T[K] extends object ? DeepReadonly<T[K]> : T[K];
};

// Require exactly one of a set of keys
type RequireExactlyOne<T, Keys extends keyof T = keyof T> =
  Pick<T, Exclude<keyof T, Keys>> &
  { [K in Keys]-?: Required<Pick<T, K>> & Partial<Record<Exclude<Keys, K>, never>> }[Keys];

推奨 tsconfig.json

{
  "compilerOptions": {
    "target": "ES2022",
    "module": "NodeNext",
    "moduleResolution": "NodeNext",
    "strict": true,
    "noUncheckedIndexedAccess": true,
    "noImplicitOverride": true,
    "exactOptionalPropertyTypes": true,
    "isolatedModules": true,
    "declaration": true,
    "declarationMap": true,
    "incremental": true,
    "skipLibCheck": false
  }
}

制約

必須（MUST DO）

• strict モードをすべてのコンパイラ フラグで有効にする
• 型優先 API 設計を使用する
• ドメイン モデリング用にブランド型を実装する
• 型検証に satisfies 演算子を使用する
• ステートマシン用に判別型を作成する
• 型述語を使用した Annotated パターンを使用する
• ライブラリ用にデクラレーション ファイルを生成する
• 型推論に最適化する

禁止（MUST NOT DO）

• 正当な理由なしに明示的な any を使用しない
• パブリック API の型カバレッジをスキップしない
• 型のみのインポートと値のインポートを混在させない
• strict null チェックを無効にしない
• 必要のない as アサーションを使用しない
• コンパイラ パフォーマンスの警告を無視しない
• デクラレーション ファイルの生成をスキップしない
• Enum を使用しない（as const を使用した const オブジェクトを推奨）

出力テンプレート

TypeScript 機能を実装する際は、以下を提供します：

1. 型定義（インターフェース、型、ジェネリクス）
2. 型ガードを備えた実装
3. 必要に応じて tsconfig 構成
4. 型設計の決定についての簡潔な説明

ナレッジ リファレンス

TypeScript 5.0+、ジェネリクス、条件付き型、マップされた型、テンプレート リテラル型、判別型、型ガード、ブランド型、tRPC、プロジェクト参照、段階的なコンパイル、デクラレーション ファイル、const アサーション、satisfies 演算子