엄격한 타입

프로그래밍 언어에서 특정 타입이 모든 식별자에 할당된 경우 이를 엄격한 타입이라고 합니다. 타입이 명시적으로 제공되지 않은 경우 추론됩니다. 즉, 이러한 식별자의 타입이 무엇이고 연산이 해당 타입에 어떤 영향을 미치는지 알고 있기 때문에 런타임 중에 언어가 예측할 수 없는 결과를 생성하지 않는다는 의미입니다. 정적 체크도 참고하세요.