[doyoung05]

안녕하세요, 과제를 풀던 중 1번 문제에 대한 질문이 생겨 문의드립니다. 수업 시간에 배운 let-polymorphic type을 생각하면, test15.m의 코드는 write x에서 x의 타입이 int, bool, string 중 하나인 경우만 가능하고, 그 외의 타입을 가지는 경우는 불가능하므로 let ... in 이후의 코드로 볼 때 타입 추론이 불가능해야 할 것으로 보이는데, 주석에는 (bool, (bool, bool))로 적혀 있어 주어진 스펙과 상충되는 것으로 보여 문의드립니다.

[이재호]

안녕하세요,

generalize하기 전 a -> bool을 만드는데, 이때 a가 int, bool, 혹은 string 중에 하나라는 제약을 같이 고려하셔서 타입을 만드셔야 합니다.

제가 제공해드린 숙제 7의 단순 타입 체커를 참고하시면 어떻게 접근해야 할지 도움이 될 것 같습니다.

감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr