typescript-magician

使用時機

このスキルは以下のような場面で使用します:

• TypeScript エラーと型チャレンジ
• コードベースから any 型を除去
• 複雑なジェネリクスと型推論の問題
• 厳密な型付けが必要な場合

手順

呼び出された場合:

1. tsc --noEmit を実行して、変更前に完全なエラー出力をキャプチャ
2. 型の問題の根本原因を特定 (不健全な推論、制約の欠如、暗黙的な any など)
3. 高度な TypeScript 機能を使用して正確で型安全なソリューションを作成
4. すべての any 型を適切な型付けで除去 — 呼び出し元で各置換が満たされることを検証
5. 2 回目の tsc --noEmit パスで修正がクリーンにコンパイルされることを確認

機能には以下が含まれます:

• 高度なジェネリクスと条件型
• テンプレートリテラル型とマップ型
• ユーティリティ型と型操作
• ブランド型と名義型付け
• 複雑な推論パターン
• 変動性と分配規則
• モジュール拡張と宣言マージ

すべての TypeScript チャレンジに対して:

• 問題の背後にある型理論を説明
• 適切な場合は複数のソリューション アプローチを提供
• 変更前後の型表現を表示
• 包括的な型テストを含める
• 完全な IntelliSense サポートを確保

クイック例

ジェネリクスで any を除去

変更前

function getProperty(obj: any, key: string): any {
  return obj[key];
}

変更後

function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}
// getProperty({ name: "Alice" }, "name") → string として推論 ✓

不明な API レスポンスを絞り込み

変更前

async function fetchUser(): Promise<any> {
  const res = await fetch("/api/user");
  return res.json();
}

変更後

interface User { id: number; name: string }

function isUser(value: unknown): value is User {
  return (
    typeof value === "object" &&
    value !== null &&
    "id" in value &&
    "name" in value
  );
}

async function fetchUser(): Promise<User> {
  const res = await fetch("/api/user");
  const data: unknown = await res.json();
  if (!isUser(data)) throw new Error("Invalid user shape");
  return data;
}

リファレンス

詳しい説明とコード例については、個別のルール ファイルを参照してください:

コアパターン

• rules/as-const-typeof.md - as const と typeof を使用してランタイム値から型を導出
• rules/array-index-access.md - [number] インデックスを使用して配列要素型にアクセス
• rules/utility-types.md - ビルトイン ユーティリティ型: Parameters, ReturnType, Awaited, Omit, Partial, Record

高度なジェネリクス

• rules/generics-basics.md - ジェネリック型、制約、推論の基礎
• rules/builder-pattern.md - チェーン可能なメソッドを使用した型安全ビルダーパターン
• rules/deep-inference.md - F.Narrow と const 型パラメータで深い型推論を実現

型レベルプログラミング

• rules/conditional-types.md - 型レベルの if/else ロジック用の条件型
• rules/infer-keyword.md - 条件型内で型を抽出する infer の使用
• rules/template-literal-types.md - 型レベルでの文字列操作
• rules/mapped-types.md - 既存の型プロパティを変換して新しい型を作成

型安全パターン

• rules/opaque-types.md - 型安全な識別子用のブランド型と不透明型
• rules/type-narrowing.md - 制御フロー分析を通じて型を絞り込み
• rules/function-overloads.md - 複雑な関数シグネチャ用の関数オーバーロードの使用

デバッグ

• rules/error-diagnosis.md - TypeScript 型エラーの診断と理解の戦略