타입 추론
개발자가 명시적으로 타입을 선언하지 않아도 분석 도구가 코드의 문맥과 제어 흐름을 파악하여 변수의 타입을 자동으로 판별하는 기능이다. Pyright는 매우 빠르고 정교한 추론 엔진을 갖추어 개발자의 수동 작업을 줄여준다.