흐름 민감형 타이핑
프로그램의 실행 흐름을 분석하여 변수의 타입을 더 구체적으로 추론하는 기법이다. 예를 들어 조건문 내에서 None 체크를 통과한 변수를 해당 블록 내에서 Non-nullable 타입으로 인식하여 안전한 코딩을 지원한다.