[이충민]

1. functor 선언 뒤에 “: SET”을 붙여주지 않는 이유는 뭔가요?
2. 그리고 그렇게 “: SET”을 쓰지 않으면 유효하지 않은 집합이 만들어질 수 있는데요. (예를 들어 SetFun에서는 집합 안에 서로 같은 원소는 없다고 가정하고 함수들을 짰는데, 사용자가 “Set (2, Set (2, Empty))”와 같이 만들 수 있음.) 이런 것에도 대비가 되어야 하나요?

[최원태]

1.
과제에 주어진 SET signature에 따르면
t 타입이 구체적으로 무엇인지 밖에서 알 방법이 없습니다.
그래서 인터페이스 함수들이 주어져도 셋을 만들어낼 방법이 없어져요.

물론 signature와 functor를 다른 방법으로 작성해서 해결할 수 있습니다.
(hint : type t를 signature에서 사용하지 않는 방법을 생각해보세요)

2.
signature를 붙여주지 않아 생기는 문제는 고려하지 않으셔도 됩니다.
채점시에는 funtor가 만들어주는 모듈이 SET signature를 만족하는지 체크하고,
만족한다는 가정하에서 SET에 나타난 인터페이스만 써서 잘 작동하는지를 체크합니다.