infer, never만 보면 두려워지는 당신을 위한 타입 추론 - 응용 문제

핵심 내용

• TypeScript 조건부 타입, infer, never, 분배 법칙을 활용해 중첩 객체를 평탄화하는 타입 설계 과정
• 배열은 유지하고 null·undefined는 보존하며, 중첩 키만 추출·재조합하는 방식으로 정밀한 반환 타입 구성
• 합집합을 교집합으로 바꾸는 ToIntersection, 재귀 지연 평가, Roll 같은 보조 타입을 이용한 타입 전개

적용해볼 점

• 값이 아닌 키 자체를 필터링해야 자동 완성과 타입 안정성이 함께 맞아떨어진다는 점
• 실무에서는 과도할 수 있지만 라이브러리 개발처럼 높은 타입 정밀도가 필요한 곳에서 유용한 접근
• 조건부 타입의 추론 특성과 지연 평가를 이해하면 복잡한 타입 문제를 단계적으로 분해할 수 있음