typescript

Const Types パターン (必須)

// ✅ 常に: まずconst オブジェクトを作成し、その後型を抽出する
const STATUS = {
  ACTIVE: "active",
  INACTIVE: "inactive",
  PENDING: "pending",
} as const;

type Status = (typeof STATUS)[keyof typeof STATUS];

// ❌ 決してしない: 直接ユニオン型を使う
type Status = "active" | "inactive" | "pending";

理由？ 単一の情報源、ランタイム値、オートコンプリート、リファクタリングが容易。

フラットなインターフェース (必須)

// ✅ 常に: 1段階の深さ、ネストされたオブジェクト → 専用インターフェース
interface UserAddress {
  street: string;
  city: string;
}

interface User {
  id: string;
  name: string;
  address: UserAddress;  // 参照、インライン展開ではない
}

interface Admin extends User {
  permissions: string[];
}

// ❌ 決してしない: インライン展開されたネストオブジェクト
interface User {
  address: { street: string; city: string };  // NO!
}

any を使用しない

// ✅ 本当に未知の型には unknown を使う
function parse(input: unknown): User {
  if (isUser(input)) return input;
  throw new Error("Invalid input");
}

// ✅ 柔軟な型にはジェネリクスを使う
function first<T>(arr: T[]): T | undefined {
  return arr[0];
}

// ❌ 決してしない
function parse(input: any): any { }

ユーティリティ型

Pick<User, "id" | "name">     // フィールドを選択
Omit<User, "id">              // フィールドを除外
Partial<User>                 // すべてオプション
Required<User>                // すべて必須
Readonly<User>                // すべて読み取り専用
Record<string, User>          // オブジェクト型
Extract<Union, "a" | "b">     // ユニオンから抽出
Exclude<Union, "a">           // ユニオンから除外
NonNullable<T | null>         // null/undefined を削除
ReturnType<typeof fn>         // 関数の戻り値の型
Parameters<typeof fn>         // 関数のパラメータのタプル

型ガード

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

型のインポート

import type { User } from "./types";
import { createUser, type Config } from "./utils";

キーワード

typescript, ts, types, interfaces, generics, strict mode, utility types