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

이 글은 TypeScript의 타입 추론 기능, 특히 `infer`와 `never` 키워드를 활용하여 복잡한 타입 문제를 해결하는 방법을 다룹니다. 중첩된 객체를 평탄화하는 JavaScript 함수를 예시로 들어, 해당 함수의 타입을 정의하는 과정을 단계별로 설명합니다.

특히, 객체의 속성 타입을 분리하고 `never` 타입을 사용하여 특정 조건에 맞는 타입을 제거하는 방식을 보여줍니다. 이를 통해 개발자가 타입 시스템의 고급 기능을 이해하고 실제 코드에 적용하는 데 도움을 주는 것을 목표로 합니다.