TypeScript에서 Rust 스타일의 Tagged Union과 강력한 패턴 매칭 구현하기

Context

TypeScript의 Discriminated Unions는 런타임 태그 노출 문제와 타입 추론의 한계가 존재. JSON 직렬화 시 내부 태그가 포함되어 데이터 구조가 오염되는 현상 발생. 컴파일 타임의 완벽한 Exhaustiveness 체크를 구현하는 데 어려움이 있음.

Technical Solution

• Non-enumerable Symbol을 프로토타입에 배치하여 JSON.stringify 및 Object.keys 호출 시 태그가 노출되지 않는 은닉 설계
• Higher-order function 기반의 Trait 시스템을 도입하여 모든 Variant에 공통 동작을 강제하는 Mixin 구조 구현
• Phantom Type을 활용해 Variant 팩토리가 특정 인터페이스를 준수하도록 강제하는 타입 안전성 확보
• when() 함수와 pred() 프리디케이트를 조합하여 필드 수준의 세밀한 매칭이 가능한 가드 기반 패턴 매칭 지원
• ExactMatchers와 FallbackMatchers 두 가지 모드를 제공하여 모든 케이스 처리 강제 또는 기본값 처리 선택 가능 구조
• 런타임 오류 메시지 최적화를 통해 누락된 Variant를 즉각적으로 식별 가능한 디버깅 메커니즘 구축

Key Takeaway

언어 차원의 제약을 Prototype 조작과 고급 타입 시스템(Phantom Type)으로 극복하여 도메인 특화 언어(DSL) 수준의 타입 안전성을 확보하는 설계 전략.