[Korean FE Article] 제어 흐름 분석을 통해 함수 내부로부터 타입 서술어 추론하기
소개
아마도 타입스크립트를 사용하시는 많은 분들이 배열의 filter 메서드 등을 사용하실 때에 타입이 기대만큼 자연스럽게 추론되지 않는 불편함을 겪어보셨을 것 같은데요. 최근 타입스크립트에 제어 흐름 분석을 통해 타입 서술어를 추론하게 하는 PR이 병합되었습니다. PR에 의하면 #16069 이슈와 같은 불편함이 해결될 수 있을 것으로 기대됩니다. 어떤 변경사항이 있어 이것이 가능하게 되었는지 궁금하시다면 PR 내용을 가볍게 읽어보시는 건 어떨까요?
목차
작동 방식
성과
앞으로 타입 가드는 흐릅니다.
truthy 값에 의한 잠재적인 문제(truthiness footguns)를 피할 수 있습니다.
타입 가드를 더 쉽게 찾을 수 있습니다.
인터페이스에서 추론된 타입 가드가 확인됩니다.
흥미로운 사례들
기존 코드가 깨지는 사례
성능
확장 가능성