7-1) 타입 오류와 타입 검사 타입 오류(type error)는 프로그램 실행 중에 수식, 문장, 함수 등의 프로그램 구성요소가 타입에 맞지 않게 잘못 사용되어 발생하는 오류이다 타입 검사는 타입 정보를 이용하여 실행 중에 발생 가능한 타입 오류를 미리 검사하는 것 이다. 안전한 타입 시스템을 갖춘 대표적인 언어로는 ML, Haskell, Java 등이 있다 타입 오류를 찾아 낼 수 있는 언어를 강한 타입 언어(strongly typed language)라고 한다. 예를 들어, Java, ML, C#, Py thon 등은 강한 타입 언어의 대표적인 예이다엄격하게 타입 검사를 하여 실행 중 타입 오 류가 발생할 가능성을 원천적으로 차단할 수 있는 타입 시스템을 안전한 타입 시스템(sound type sy..