런타임 에러 제로 도전, TypeScript 고급 타입 시스템 정복

Context

단순한 interface와 generics 사용만으로는 런타임 타입 오류를 완전히 제거하기 어려운 구조. 컴파일 단계에서 더 정밀한 제약 조건을 설정하여 버그 발생 가능성을 원천 차단해야 하는 필요성 존재.

Technical Solution

• Conditional Types와 infer 키워드를 결합하여 함수 반환 타입 등 특정 타입 조각을 동적으로 추출하는 로직 구현
• Template Literal Types를 활용해 API 엔드포인트나 CSS 클래스명 같은 문자열 패턴을 타입 수준에서 검증하는 방식 도입
• Mapped Types의 as 절을 통해 기존 객체의 키 이름을 기반으로 새로운 속성명을 생성하는 타입 변환 전략 적용
• satisfies 연산자를 사용하여 타입 추론의 구체성을 유지하면서 동시에 정의된 타입 규격을 준수하는 유효성 검사 수행
• Branded Types 기법으로 동일한 primitive 타입(number, string)을 서로 다른 도메인 식별자로 구분하는 컴파일 타임 격리 설계
• 위 기법들을 통합하여 경로 정의로부터 요청 파라미터와 응답 타입을 자동으로 추론하는 Type-safe API Client 구조 구축

Key Takeaway

타입 시스템을 단순한 제약 도구가 아닌 논리를 가진 언어로 활용하여 런타임 검증 로직을 컴파일 타임으로 전이시키는 설계 원칙.