🔷 TypeScript 완전 가이드

// Discriminated Union (추천 패턴)
type Result<T> =
  | { ok: true;  value: T }
  | { ok: false; error: string };

function parse(input: string): Result<number> {
  const n = Number(input);
  return isNaN(n)
    ? { ok: false, error: `"${input}" is not a number` }
    : { ok: true, value: n };
}

const result = parse("42");
if (result.ok) console.log(result.value); // TypeScript가 타입을 좁힘

type Circle = { kind: 'circle'; radius: number };
type Square = { kind: 'square'; side: number };
type Shape = Circle | Square;

function area(shape: Shape): number {
  // 'kind' 필드로 분기하면 각 블록 안에서 타입이 자동으로 좁혀짐
  if (shape.kind === 'circle') {
    return Math.PI * shape.radius ** 2;   // 여기서는 shape가 Circle로 좁혀짐
  }
  return shape.side ** 2;                  // 여기서는 Square로 좁혀짐
}

// 커스텀 타입 가드 — is 키워드로 타입을 확정
function isCircle(shape: Shape): shape is Circle {
  return shape.kind === 'circle';
}

function pick<T, K extends keyof T>(obj: T, keys: K[]): Pick<T, K> {
  return Object.fromEntries(keys.map(k => [k, obj[k]])) as Pick<T, K>;
}

// 조건부 타입
type NonNullable<T> = T extends null | undefined ? never : T;
type ReturnType<T extends (...args: unknown[]) => unknown> = T extends (...args: unknown[]) => infer R ? R : never;

// 빌더 패턴
class QueryBuilder<T> {
  private filters: Partial<T> = {};
  where<K extends keyof T>(key: K, value: T[K]): this {
    this.filters[key] = value;
    return this;
  }
  build(): Partial<T> { return this.filters; }
}