第6章: 実践パターンと落とし穴 — 現場で効くTypeScript

{
  "compilerOptions": {
    // TypeScript 6.0 からデフォルトで有効
    "strict": true,              // 全strictオプション一括有効化
    "target": "es2025",          // 6.0の新デフォルト
    "module": "esnext",          // 6.0の新デフォルト
    "moduleResolution": "bundler", // Vite/Next.js使用時

    // 追加推奨（6.0デフォルトに含まれない）
    "noUncheckedIndexedAccess": true,   // 配列・オブジェクトのアクセスにundefined追加
    "exactOptionalPropertyTypes": true, // ?プロパティの厳密化
    "noImplicitOverride": true,         // override キーワード必須化
    "noFallthroughCasesInSwitch": true, // switch文のフォールスルー禁止
    "verbatimModuleSyntax": true,       // import/export文をそのまま出力
    "erasableSyntaxOnly": true,         // Node.js native TS対応の準備

    // 出力
    "outDir": "dist",
    "declaration": true,
    "declarationMap": true,
    "sourceMap": true,
    "skipLibCheck": true
  },
  "include": ["src"]
}

// ❌ 旧スタイル: enum
enum Status {
  Active = "ACTIVE",
  Inactive = "INACTIVE",
  Pending = "PENDING",
}

// 数値enumの落とし穴
enum Direction { Up, Down, Left, Right }
const d: Direction = 999; // エラーにならない！

// ✅ 現代スタイル: as const + typeof
const Status = {
  Active: "ACTIVE",
  Inactive: "INACTIVE",
  Pending: "PENDING",
} as const;

type Status = (typeof Status)[keyof typeof Status];
// "ACTIVE" | "INACTIVE" | "PENDING"

// ランタイムオブジェクトとしてもユニオン型としても使える
function processStatus(status: Status) {
  if (status === Status.Active) {
    // ...
  }
}

// types/my-untyped-lib.d.ts
// 型定義のないJSライブラリに型を付ける
declare module "my-untyped-lib" {
  export function doSomething(input: string): number;
  export interface Config {
    verbose: boolean;
    timeout: number;
  }
}

// 使用側
import { doSomething } from "my-untyped-lib";
const result = doSomething("hello"); // number型として推論される