타입 체크
프로그램 내 변수와 함수의 데이터 타입이 올바르게 사용되었는지 검증하는 과정이다. 파이썬과 같은 동적 언어에서 Pyright 등을 사용해 정적 타입 검사를 수행하면 데이터 불일치로 인한 오류를 개발 단계에서 포착할 수 있다.