[박남용]

EQUAL과 LESS exp에서 Bool value도 비교할 수 있게 해야하나요?

[최원태]

제가 올린 시멘틱정의에는 integer만 받도록 되어있습니다.

less는 integer만 받는 것이 이치에 맞는 것 같고,
equal은 less와의 통일성을 위해 integer만 받도록 하였습니다.
하지만, equal은 unit, bool 타입에 대해서 작동하여도 이상한점이 없겠죠.
equal은 integer가 같은지 비교가능하면 바른 구현으로 간주하겠습니다.

P.S
equal이나 write 등이 여러 type에 대해 작동하도록 만들었다면,
앞으로 type system 을 구현하는데 어려울지도 모릅니다.

[박남용]

아..시멘틱 정의에 명시되어 있었네요. ㅋ
감사합니다.