[김기태]

두 값의 대소를 비교할 경우 둘 다 정수 값이 아니면 타입 에러입니다.

이 문장을 보고 궁금한 점이 생겼는데,
1. 만약 integer value 한 개랑 boolean value 한 개를 비교하면 type error가 발생하지 않는다는 것일까요?
2. 이 문장은 EQUAL 경우에도 고려해야 하는 건가요? 대소 비교라고 적혀 있어서 일단 LESS의 경우만 고려했습니다.

[김도형]

안녕하세요.

이는 같음과 대소 사이의 차이를 생각해봐야 합니다.

우리는 1과 true가 같지 않다는 것을 알 수 있습니다.

이는 타입이 다르더라도, 타입이 다르기 때문에 당연히 거짓임을 알 수 있는 명제입니다.

그러나 대소 관계는 타입이 같은 것들 안에서 새롭게 정의되는 일종의 함수입니다.

우리는 실수 체계 안에서 1과 2.7을 비교할 수 있지만, 그 밖의 복소수와는 대소 관계를 따질 수 없습니다.

컴퓨터공학의 언어로 말하자면 대소 관계는 그 클래스가 가지는 메서드라고 할 수 있겠죠.

(관심이 있으시다면 순서 관계에 대해서 좀 더 찾아보는 것을 추천드립니다.)

그렇기 때문에 정수와 불리언 사이의 equal은 거짓이라는 결과값을 가지는 반면, 정수와 불리언 사이의 대소 관계는 허용되지 않도록 타입 에러를 내게 기획되어 있습니다.

감사합니다.

김도형 드림