TypeScript는 단순히 자바스크립트 코드에 주석처럼 타입을 붙이는 도구가 아닙니다. TypeScript의 타입 시스템은 그 자체로 컴파일 타임에 실행되는 순수 함수형 프로그래밍 언어이자 튜링 완전(Turing Complete)한 연산 엔진입니다.
복잡한 엔터프라이즈 코드베이스나 범용 오픈소스 라이브러리를 설계할 때, 고급 타입 시스템을 능숙하게 다루면 런타임 버그를 99% 이상 원천 차단하고 완벽한 자동완성(IntelliSense) 개발자 경험(DX)을 창출할 수 있습니다. 본 가이드에서는 실무에서 가장 강력하게 활용되는 핵심 메타 프로그래밍 패턴을 해설합니다.
1. 조건부 타입(Conditional Types)과 분배 법칙
조건부 타입은 삼항 연산자 문법을 사용하여 입력 제네릭 타입의 형태에 따라 타입을 동적으로 분기합니다.
typescript
type IsString = T extends string ? true : false;type A = IsString<'hello'>; // true
type B = IsString<42>; // false
▶ ⚡ 유니온 타입 분배 법칙 (Distributive Conditional Types)
제네릭 매개변수 T가 나출(Naked)된 상태에서 유니온 타입이 전달되면, 조건부 타입은 유니온의 각 멤버에 대해 개별적으로 분배되어 적용됩니다.typescript
type ToArray = T extends any ? T[] : never;type Result = ToArray;
// 분배 실행: (string extends any ? string[] : never) | (number extends any ? number[] : never)
// 최종 결과: string[] | number[]
2. infer 키워드를 이용한 제네릭 내부 타입 추론
infer 키워드는 조건부 타입의 extends 절 내부에서만 사용 가능한 강력한 패턴 매칭 도구로, 컴파일러에게 이 자리에 들어올 타입을 역추적해서 변수처럼 캡처하라고 명령합니다.
▶ 2.1 Promise 언래핑과 함수 반환값 추출
typescript
// Promise의 내부 값을 재귀적으로 언래핑하는 Awaited 구현
type DeepAwaited = T extends Promise
? DeepAwaited
: T;type Test = DeepAwaited>>; // string
// 함수의 마지막 인자 타입만 추출하기
type LastParameter = T extends (...args: [...infer Rest, infer Last]) => any
? Last
: never;
3. 템플릿 리터럴 타입과 문자열 패턴 매칭
TypeScript 4.1에 도입된 템플릿 리터럴 타입은 문자열을 타입 레벨에서 결합하고 정규식처럼 패턴을 분해할 수 있게 해줍니다.
▶ 3.1 문자열 패턴 분해 및 변환
typescript
type EventScope = 'user' 'order'
'system';
type EventAction = 'created' 'updated'
'deleted';type EventName = `[Scope]:[Action]`;
▶ 3.2 안전한 파라미터 타입 추출
API 경로 문자열로부터 파라미터 이름을 추출하여 정확한 요청 타입을 강제할 수 있습니다.4. 실전: 타입 안전한 API 클라이언트
typescript
interface UserDetail {
id: string;
nickname: string;
role: 'admin' | 'member';
}async function fetchUser(userId: string): Promise {
const res = await fetch('/api/users/' + encodeURIComponent(userId));
return res.json();
}
고급 타입 시스템을 구축하면 비즈니스 로직에서 발생할 수 있는 런타임 예외를 컴파일 타임에 100% 잡아낼 수 있어 서비스의 안정성과 유지보수성이 비약적으로 향상됩니다.
