타입스크립트가 마지막 오버로드를 추론합니다… 그래서 순서를 변경했습니다
(dev.to)TypeScript의 함수 오버로드 추론 한계를 극복하기 위해 교차 타입(Intersection Type)의 연산 순서를 조작하여 개발자 경험(DX)을 혁신하는 고급 타입 프로그래밍 기법과 그 발견 과정을 다룹니다.
이 글의 핵심 포인트
- 1i18next의 번역 키를 문자열에서 람다 식별자 형태로 개선하여 DX(개발자 경험)를 높이려는 시도
- 2TypeScript의 'infer' 키워드가 오버로드된 함수 타입에서 마지막 시그니처만 추론하는 한계 발견
- 3교차 타입(&) 연산 시 피연산자의 순서에 따라 오버로드 순서가 달라지는 현상 확인