[임창원]

HW5 Ex3 에서 크기가 다른 무늬의 glue는 에러처리해야하나요?

그런데 하고싶어도 어떻게 할지 모르겠네요 ㅠ

[윤용호]

수업시간에 나온 질문이었는데

Ocaml의 타입 시스템이 타입 안에 '값'을 가질 수 없도록 되어있고..
('값'과 '타입'이 엄격하게 분리되어있지요)

functor가 exception을 발생시킬 방법도 없기 때문에

실질적으로 막을 방법이 없다로 결론이 났습니다.
_________________
TA