Type System

데이터의 타입을 엄격히 정의하여 런타임 오류를 방지하고 비즈니스 규칙을 코드 수준에서 강제하는 프로그래밍 언어 기능이다. 복잡한 비즈니스 인변량을 타입으로 인코딩하면, 잘못된 데이터 조합이 컴파일 단계에서 차단되어 시스템의 안정성이 확보된다.