목차타입스크립트를 조금만 깊게 쓰다 보면 infer라는 정체불명의 키워드를 보게 된다. ReturnType, Parameters, ConstructorParameters 같은 공식 유틸리티 타입들의 핵심에도 항상 숨어 있는 존재이다. 이번 글에서는 infer에 대해서 정리하고, infer가 실제로 타입스크립트 타입 시스템의 강력한 추론 엔진 역할을 어떻게 하는지 살펴보려고 한다. infer 란?infer는 조건부 타입(Conditional Types) 내부에서만 사용할 수 있는 키워드이다.문법은 다음과 같다:T extends SomeType ? U : Fallback 여기서 핵심은 infer U.타입스크립트에게 "여기서 타입을 추론해서 U라는 이름으로 쓰겠다"라고 지시하는 것이다.함수의 매개변수, 반환 ..