왜 타입스크립트는 당신을 구해주지 못하는가

함수의 반환 타입을 적는 순간, 본문에서 어떤 값이 나오든 TS 는 그 타입 으로 믿는다. response.json() 처럼 실제로는 any 를 반환하는 경우 특히 위험하다.

// ❌ 거짓말 — fetch 응답이 어떤 모양이든 User 라고 단언
async function getUser(id: number): Promise<User> {
  const res = await fetch(`/api/users/${id}`);
  return res.json(); // any → User 로 암묵 캐스팅
}

// ✅ 경계에서 파싱
import { z } from 'zod';
const UserSchema = z.object({
  id: z.number(),
  name: z.string(),
  email: z.string().email(),
});
async function getUser(id: number): Promise<z.infer<typeof UserSchema>> {
  const res = await fetch(`/api/users/${id}`);
  return UserSchema.parse(await res.json()); // 런타임 검증
}

any, @ts-ignore, as unknown as T 는 한 곳에서만 쓰여도 그 지점 이후 모든 안전성 가정을 무너뜨린다.

ESLint 규칙으로 자동 차단하지 않으면 대규모 코드베이스에서 누군가는 반드시 빠뜨린다.

런타임 검증으로 만든 값에 컴파일타임 브랜드 를 붙이면 검증을 거치지 않은 raw 값을 도메인 함수에 못 넘긴다.

type Email = string & { readonly __brand: 'Email' };

function parseEmail(input: string): Email {
  if (!/^[^@]+@[^@]+$/.test(input)) throw new Error('invalid');
  return input as Email;
}

function sendWelcome(email: Email) { /* ... */ }

sendWelcome('plain string'); // ❌ 컴파일 에러
sendWelcome(parseEmail(form.email)); // ✅ 검증된 값만

[감점 답변] 'as 는 캐스팅, parse 는 검증' 만 말하기. [좋은 답변] as 는 컴파일타임에 타입을 강제 할 뿐 런타임에 아무 일도 일어나지 않는다 — 거짓말이 가능하다. 타입 가드는 런타임에 형태를 검사하고 반환값으로 narrowing 까지 제공한다. 외부 데이터에는 항상 가드/파서, 내부에서 이미 검증된 값 의 타입을 좁힐 때만 as.

[감점 답변] '안전이 최우선'. [좋은 답변] (1) 대부분의 페이로드는 KB 수준이라 파싱 비용은 ms 미만 — fetch 지연에 묻힌다. (2) 핫패스(거대 리스트) 만 strict 대신 passthrough + 필드 단위 검증으로 완화. (3) 백엔드 OpenAPI 에서 스키마를 생성하면 타입과 검증을 동시 에 얻어 유지보수 비용도 작다.

[감점 답변] 'any 를 다 unknown 으로 바꾼다'. [좋은 답변] (1) noImplicitAny 켜고 신규 코드부터 차단. (2) eslint-plugin-import + no-explicit-any 를 경고 로 두고 기존 위반 카운트를 측정. (3) 가장 위험한 경계(API 클라이언트, localStorage, URL parser) 부터 Zod 로 교체. (4) @ts-expect-error 에 만료 일자를 코멘트로 강제하고, 만료 시 CI 에서 차단.