제어 흐름 분석을 통해 함수 내부로부터 타입 서술어 추론하기

오늘 소개해드릴 글은 인프랩의 임유진님이 번역해주신 글입니다. 아마도 타입스크립트를 사용하시는 많은 분들이 배열의 filter 메서드 등을 사용하실 때에 타입이 기대만큼 자연스럽게 추론되지 않는 불편함을 겪어보셨을 것 같은데요. 최근 타입스크립트에 제어 흐름 분석을 통해 타입 서술어를 추론하게 하는 PR이 병합되었습니다. PR에 의하면 #16069 이슈와 같은 불편함이 해결될 수 있을 것으로 기대됩니다. 어떤 변경사항이 있어 이것이 가능하게 되었는지 궁금하시다면 PR 내용을 가볍게 읽어보시는 건 어떨까요? * 글 링크: https://emewjin.github.io/infer-type-predicate/