타입 오류 앞선 포스팅을 통해 여러 언어의 타입 검사 방식에 대해 알아보았는데, 몇몇 언어는 타입 검사를 통과하지 못하면 타입 오류가 발생해 프로그램을 실행하지 않았다. 이것은 코드가 문법에는 오류가 없지만 내용적 측면에 오류가 있기 때문인데, 코드에 문법적인 문제는 없으므로 Parser에서 해당 오류는 검출되지 않는다. . 내용적 측면에서 발생할 수 있는 오류는 여러 가지가 있으며, 이중 수식이나 문장 등이 타입에 맞지 않게 잘못 사용되는 것을 타입 오류(Type Error)라 한다. 타입 오류의 정확한 정의는 다음과 같다. 타입 오류는 프로그램 실행 중 수식, 문장, 함수 등의 프로그램 구성 요소가 타입에 맞지 않게 잘못 사용되어 발생하는 오류이다. int 타입 변수에 논리 부정 연산 !을 적용하는 ..