[성창훈]

IntlistQ 정의 후 타입을 보니

val emptyQ: 'a list * 'b list
val enQ: ('a list * 'b list) * 'a list -> 'a list * 'b list
val deQ: 'a list * 'a list -> 'a * ('a list * 'a list)

로 나오는데요 element랑 queue로 나와야 하는거 아닌가요?;
대충 보니까 empty queue 를 문제에서 준것처럼 빈 리스트로 해서 타입이 정의가 안되는거 같은데 이게 맞는 표현인가요?;

[안현주]

예전에 프원을 들을때 모듈 타입을 작성한뒤 그 타입을 따르는 모듈을 작성할때

[김진영_]

4쪽에 나온대로 빈 칸을 채워 IntListQ 모듈을 만들게 되면, element와 queue에 대해서 타입이 나오지 않습니다. 왜냐하면, 그러한 정보가 전혀 없기 때문입니다. Queue타입의 sig를 문제의 위쪽에 정의했어도 마찬가지입니다. IntListQ모듈이 Queue 타입을 가진다는 정보를 전혀 주지 않았습니다. 'a와 'b로 나타나는 것이 자연스럽습니다.

따라서 내가 만든 IntListQ 모듈이 정말로 위의 Queue 타입을 만족하는지를 확인하고 싶으면,

[안현주]

그럼 제출할 때는 ": Queue with type ~~"을 빼고 a' list 등으로 나오게해야 하나요?

[김진영_]

넣으셔도 되고 넣지 않으셔도 됩니다.

단 넣었을 때 잘 동작해야 합니다. 문제에서 Queue 타입의 모듈을 작성하라고 했었으니까요.

[안현주]

제가 글쓴이가 아닌데 계속 질문을 해버렸군요 ㅠ
감사합니다 ㅎㅎ

[성창훈]

궁금증 해결해 주셔서 감사합니당~