Type Checker

타입 체크는 실행 전에 프로그램을 체크하는 데 사용되며, 데이터 타입 값과 구문을 검증합니다. 프로그래밍 언어에서 타입 시스템의 주요 목적은 바로 타입 오류로 인한 프로그램의 버그 발생 가능성을 낮추는 것입니다.