TypeScript의 한계 — 타입 시스템이 못 잡는 것들과 대안

class Animal { name = 'animal'; }
class Dog extends Animal { bark() {} }
class Cat extends Animal { meow() {} }

// Dog[]을 Animal[]에 할당 가능 (공변적)
const dogs: Dog[] = [new Dog()];
const animals: Animal[] = dogs;

// ⚠️ Cat을 Dog 배열에 추가할 수 있음!
animals.push(new Cat());

// dogs[1]은 실제로 Cat이지만 TypeScript는 Dog로 인식
dogs[1].bark(); // 런타임 에러: bark is not a function

interface User {
  name: string;
  age: number;
}

// 빈 객체를 User로 단언 — 에러 없음
const user = {} as User;
console.log(user.name.toUpperCase()); // 런타임 에러!

function getConfig(): any {
  return JSON.parse('{"port": 3000}');
}

const config = getConfig();
const port: number = config.port;    // OK
const name: string = config.port;    // ⚠️ OK — any이므로 타입 검사 안 됨

// noUncheckedIndexedAccess가 없으면
const arr = [1, 2, 3];
const value: number = arr[10]; // ⚠️ undefined인데 number로 취급

interface EventTarget {
  addEventListener(type: string, handler: (event: Event) => void): void;
}

// 메서드 시그니처는 strictFunctionTypes에서도 이변적
const target: EventTarget = {
  addEventListener(type, handler) {
    // handler에 MouseEvent를 전달해도 에러 없음
  }
};

// 타입 가드 함수가 잘못된 검증을 해도 에러 없음
function isString(value: unknown): value is string {
  return typeof value === 'number'; // ⚠️ 잘못된 검증인데 컴파일 OK
}

const value: unknown = 42;
if (isString(value)) {
  // value: string으로 좁혀졌지만 실제로는 number
  value.toUpperCase(); // 런타임 에러
}

// 같은 구조면 호환 — 의미적 구분 불가
type Celsius = number;
type Fahrenheit = number;

function boil(temp: Celsius) { /* ... */ }

const f: Fahrenheit = 212;
boil(f); // ⚠️ 에러 없음 — 화씨를 섭씨 위치에 전달

type Celsius = number & { __brand: 'Celsius' };
type Fahrenheit = number & { __brand: 'Fahrenheit' };

function boil(temp: Celsius) { /* ... */ }

const f = 212 as Fahrenheit;
// boil(f); // ❌ Error — 브랜드가 다름

// TypeScript 타입은 런타임에 존재하지 않음
interface User {
  name: string;
  age: number;
}

function processUser(data: unknown) {
  // ❌ 이렇게 할 수 없음
  // if (data instanceof User) { ... }

  // ✅ 런타임 검증 필요
  if (
    typeof data === 'object' &&
    data !== null &&
    'name' in data &&
    'age' in data
  ) {
    // 수동 검증...
  }
}

import { z } from 'zod';

const UserSchema = z.object({
  name: z.string(),
  age: z.number(),
});

function processUser(data: unknown) {
  const result = UserSchema.safeParse(data);
  if (result.success) {
    // result.data는 타입 안전
  }
}