김도형
가입: 2022년 3월 8일 올린 글: 103
|
올려짐: 2023년4월5일 11:08 주제: |
|
|
안녕하세요.
이는 같음과 대소 사이의 차이를 생각해봐야 합니다.
우리는 1과 true가 같지 않다는 것을 알 수 있습니다.
이는 타입이 다르더라도, 타입이 다르기 때문에 당연히 거짓임을 알 수 있는 명제입니다.
그러나 대소 관계는 타입이 같은 것들 안에서 새롭게 정의되는 일종의 함수입니다.
우리는 실수 체계 안에서 1과 2.7을 비교할 수 있지만, 그 밖의 복소수와는 대소 관계를 따질 수 없습니다.
컴퓨터공학의 언어로 말하자면 대소 관계는 그 클래스가 가지는 메서드라고 할 수 있겠죠.
(관심이 있으시다면 순서 관계에 대해서 좀 더 찾아보는 것을 추천드립니다.)
그렇기 때문에 정수와 불리언 사이의 equal은 거짓이라는 결과값을 가지는 반면, 정수와 불리언 사이의 대소 관계는 허용되지 않도록 타입 에러를 내게 기획되어 있습니다.
감사합니다.
김도형 드림 |
|