TS 5.x satisfies로 타입 안전 유지하며 객체 검증

type Env = 'dev' | 'prod';

type AppConfig = {
  env: Env;
  port: number;
};

// 타입 주석을 붙이면 객체 전체가 AppConfig로 "맞춰"집니다.
const config: AppConfig = {
  env: 'prod',
  port: 3000,
};

// config.env의 타입은 Env (즉 'dev' | 'prod')
// 리터럴 'prod'를 잃었습니다.

type AppConfig = {
  env: 'dev' | 'prod';
  port: number;
};

// 단언은 "검증"이 아니라 "우기기"입니다.
const config = {
  env: 'production', // 오타
  port: '3000',      // 문자열
} as AppConfig;

// 컴파일이 통과할 수 있어 런타임 사고로 이어집니다.

type AppConfig = {
  env: 'dev' | 'prod';
  port: number;
};

const config = {
  env: 'prod',
  port: 3000,
} satisfies AppConfig;

// 검증: AppConfig 규칙을 만족해야 함
// 추론: config.env는 'prod' (리터럴 유지), config.port는 3000 (리터럴 유지)

type FeatureFlags = {
  enableNewUI: boolean;
  enableBetaFlow: boolean;
};

type Config = {
  env: 'dev' | 'stage' | 'prod';
  apiBaseUrl: string;
  flags: FeatureFlags;
};

const config = {
  env: 'prod',
  apiBaseUrl: 'https://api.example.com',
  flags: {
    enableNewUI: true,
    enableBetaFlow: false,
  },
} satisfies Config;

// config.env: 'prod'
// config.flags.enableNewUI: true

const badConfig = {
  env: 'prod',
  // apiBaseUrl 누락
  flags: {
    enableNewUI: true,
    enableBetaFlow: false,
  },
} satisfies Config; // ❌ Property 'apiBaseUrl' is missing

type Endpoint = 'health' | 'login' | 'checkout';

type TimeoutTable = Record<Endpoint, number>;

const timeouts = {
  health: 500,
  login: 2000,
  checkout: 5000,
} satisfies TimeoutTable;

// timeouts.health 타입은 500 (리터럴), 하지만 Endpoint 키 누락/추가를 잡아줌

const timeouts2 = {
  health: 500,
  login: 2000,
  // checkout 누락
} satisfies TimeoutTable; // ❌ Property 'checkout' is missing

const timeouts3 = {
  health: 500,
  login: 2000,
  checkout: 5000,
  admin: 9999,
} satisfies TimeoutTable; // ❌ Object literal may only specify known properties

type Event =
  | { type: 'USER_CREATED'; payload: { id: string } }
  | { type: 'USER_DELETED'; payload: { id: string } };

type EventType = Event['type'];

type HandlerMap = {
  [K in EventType]: (event: Extract<Event, { type: K }>) => void;
};

const handlers = {
  USER_CREATED: (e) => {
    // e.payload.id: string
    console.log('created', e.payload.id);
  },
  USER_DELETED: (e) => {
    console.log('deleted', e.payload.id);
  },
} satisfies HandlerMap;

// handlers는 "모든 이벤트 타입을 빠짐없이" 구현했는지 검증되고
// 각 핸들러의 인자 타입도 정확히 좁혀집니다.

const statusText = {
  200: 'OK',
  404: 'Not Found',
  500: 'Server Error',
} as const;

// statusText[200] 타입은 'OK'

type StatusMap = Record<number, string>;

const statusText = {
  200: 'OK',
  404: 'Not Found',
  500: 'Server Error',
} as const satisfies StatusMap;

// - 값은 readonly + 리터럴로 고정
// - 동시에 number -> string 맵 규칙을 만족하는지 검증

type User = { id: string; name: string };

const u = {
  id: '1',
  name: 'Kim',
  extra: 'field',
} satisfies User;

// u는 여전히 extra를 가진 타입으로 추론됩니다.
// 즉, "User 타입 변수"가 필요한 API에는 그대로 넣으면 안 맞을 수 있습니다.

type User = { id: string; name: string };

const raw = {
  id: '1',
  name: 'Kim',
  extra: 'field',
} satisfies User;

function toUser(x: User): User {
  return x;
}

const user: User = toUser(raw); // 구조적으로는 가능하지만, 팀 규칙에 따라 명시적 정규화 권장

import { z } from 'zod';

const ConfigSchema = z.object({
  env: z.enum(['dev', 'stage', 'prod']),
  port: z.coerce.number().int().positive(),
});

type Config = z.infer<typeof ConfigSchema>;

// 1) 외부 입력을 런타임에서 파싱/검증
const parsed = ConfigSchema.parse({
  env: process.env.NODE_ENV,
  port: process.env.PORT,
});

// 2) 내부 상수는 satisfies로 컴파일 타임 검증
const defaults = {
  env: 'dev',
  port: 3000,
} satisfies Config;