[조대호]

안녕하세요 조교님.

오늘 수업시간에 배운 내용 let polymorphism은 For all만 존재하는 polymorphism인데, 그렇다면 let f = fn x => write(x) in ... 는 x가 모든 타입이 아니라 int, bool, string만 받기 때문에 reject되어야하는 것인가? 라고 생각이 들어서 수업시간이 끝나고 질문을 드렸었는데요, 집에 와서 hw8 skeleton code를 확인해보니 비슷한 케이스가 example test에 있는 것 같습니다.

저희가 과제로 구현해야 하는 것은 수업시간에 배운 스코프를 넘어서 더 고민해서 풀어야 하는 것으로 이해하면 될까요? 그렇다면 사실 타입체킹이라는 것은 완전한것은 불가능하고 안전한 것만 가능한데, 과제에서 요구하는 범위가 어느정도인지 궁금합니다. 그냥 예제를 잘 통과하는 정도라고 이해하면 되는것일까요?

감사합니다.

조대호 드림.

[이재호]

안녕하세요,

수업 시간에서 배우고 교재 181쪽 부터 소개되어 있는 let-polymorphism을 정확히 구현하시면 됩니다.

감사합니다.

조교 드림


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