[최종식]

Simple Type Check 쪽 단원을 읽어도 읽어도 WRITE 를 시맨틱스에 있는것 처럼 처리할 수 있는 힌트를 못찾겠는데요 ㅠㅠ

이번 simple type check 에서 WRITE 딱 하나만 가지고 있는 다형성이니 어거지로 처리를 하면 될것 같기는 한데

어떤 의도로 WRITE에 대해서만 저런 다형성을 가진 시맨틱스가 나온건지 모르겠습니다 -_-;;;;;

[윤용호]

WRITE뿐만 아니라 Compare도 몇몇 타입에 대해 동작하는 약간 다형성 스러운 면이 있어서...

저는 WRITE 전용 타입, 비교 전용 타입을 따로 만들어서 해결했는데..

[최종식]

EQ도 그 문제가 있군요 -.-;;;;
저는 write랑 eq에 들어가는 variable들 리스트로 관리하고 나중에 체크할려구요 [..]