선언 해야 할 각 데이터 항목의 형식을 요구 하 고, 부적 절 한 데이터 형식, 연산자의 응용 하는 걸로 하 고 호환 되지 않는 형식의 데이터 항목의 상호 작용을 방지 일부 프로그래밍 언어의 기능.