[abebe]

Hello,

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

I saw the above statement in the additional description for HW3 and I couldn't understand what it means.
Does it mean if two values (at least one not int) are compared with operator LESS, we should raise type error?


Thank you,
Dawit F. Amanu

[김도형]

Hello.

Answer for this question is Yes, and you must consider the difference between EQUAL and LESS to understand.

We know that 1 and true aren't same, but we can't define which one is bigger.

This is because comparing operator is a kind of method defined in one type, and cannot be used to elements outside that type set - unless it is expanded.

(To understand more, I recommend you search for order in set theory.)

Hence, in K--, 1 EQUAL true makes the result value 'false', but comparing by LESS makes type error, making no result value.