[정원준]

안녕하세요, 컴퓨터공학부 정원준입니다.

Exercise 3 보충 세부사항에서는

"서로 다른 타입을 비교하거나, Pair끼리의 비교, Closure끼리의 비교는 타입 에러입니다"

라고 되어 있습니다.

이 내용은 Exercise 4에는 적용되지 않는 것이 맞는 건가요?



감사합니다.

[오규혁]

안녕하세요,

M언어 스펙 문서를 참고하면 타입 시스템에서도 같은 타입끼리 비교함을 알 수 있습니다.([Op] 3번째)


조교드림
_________________
TA 오규혁
e-mail: ghoh@ropas.snu.ac.kr