정적 타입 체크
프로그램 실행 전 소스 코드를 분석하여 타입 오류를 찾아내는 기술이다. 파이썬의 동적 타이핑으로 인한 런타임 에러를 사전에 방지하고 코드의 가독성과 유지보수성을 높이는 데 필수적이다.