타입 시스템 — 정적·동적·제네릭·유니온

// ━━━ 기본 타입 ━━━
const n: number = 42;
const s: string = "hi";
const b: boolean = true;
const arr: number[] = [1, 2, 3];
const tuple: [string, number] = ["age", 25];

// ━━━ 유니온 · 교차 · 리터럴 ━━━
type Status = "idle" | "loading" | "success" | "error";   // 리터럴 유니온
function handle(s: Status) {
  if (s === "loading") { /* ... */ }
}

type User = { id: string; name: string };
type Admin = User & { permissions: string[] };            // 교차

// ━━━ 제네릭 ━━━
function first<T>(arr: T[]): T | undefined {
  return arr[0];
}
first([1, 2, 3]);        // T = number
first(["a", "b"]);       // T = string

// API 응답 래퍼
type ApiResponse<T> = { data: T; meta: { total: number } };
type UserList = ApiResponse<User[]>;

// ━━━ null 안전 — 옵셔널 체이닝 · nullish 병합 ━━━
const name = user?.profile?.name ?? "익명";

// ❌ any — 컴파일러 검증 포기
function parse(data: any) {
  return data.user.name.toUpperCase();   // 런타임 TypeError 위험
}

// ✅ unknown — 강제로 검증
function parse(data: unknown) {
  if (
    typeof data === "object" && data !== null &&
    "user" in data && typeof (data as any).user === "object"
  ) {
    // 여기서만 접근
  }
}

// ✅ Zod — 런타임 스키마 검증 (2026년 표준)
import { z } from "zod";
const UserSchema = z.object({
  id: z.string(),
  name: z.string().min(1),
  age: z.number().int().positive(),
});
const user = UserSchema.parse(apiData);   // 실패 시 throw, 성공 시 타입 주입