Inferred Type Predicates 도입을 통한 Boilerplate 제거 및 Type Safety 강화

Context

기존 TypeScript 버전에서는 filter 콜백 내 타입 좁히기(Type Narrowing)를 위해 value is Type 형태의 명시적 Type Predicate 작성이 필수적이었음. 이로 인해 대규모 코드베이스에서 중복적인 타입 정의가 반복되며 DX(Developer Experience) 저하 및 코드 가독성 하락이라는 한계점이 존재함.

Technical Solution

• Inferred Type Predicates 도입을 통한 함수 구현부 기반의 타입 자동 추론 구조 설계
• typeof 또는 비교 연산자를 통한 조건문 결과값을 분석하여 반환 타입을 자동으로 Narrowing 하는 로직 적용
• Discriminated Unions 처리 시 Array.filter() 결과값에 대해 undefined 가능성을 제거하고 정밀한 Object Type 추론 수행
• RegExp 문법 검사를 컴파일 단계로 전이시켜 런타임 시점에 발생하는 Syntax Error를 사전에 차단하는 정적 분석 강화
• Deprecated 된 import assertions(assert)를 최신 표준인 import attributes(with) 구문으로 대체하여 미래 호환성 확보