[최영진09]

7-3에서
module StringQ = QueueMake (x)
module StringQQ = QueueMake (y)

x,y 부분에 뭐가 들어가야 하나요?
ArgTy 를 만족하도록 미리 모듈로 만들어 놓는건가요?

특히 y같은 경우는 QueueMake(x)의 결과를 바로 쓸 수 없을텐데
2번에서 StringSetQ 만든 코드를 사용해서
ArgTy를 만족하도록 감싸주는건가요?

의문점을 글로 쓰기가 상당히 어렵네요 ㅠㅠ

[최영진09]

아참

저의 경우는 지금

숙제 3번에 StringSetQ를 가져온 후

ArgStr (string type)
ArgStringQ (StringSetQ type)

으로 주고 있습니다. 이렇게 하면 안 되나요?

[이승중]

x, y 부분에 뭘 넣어야 할까가 숙제입니다
근데 이미 실습시간에도 했고 수업시간에도 했죠..
말씀하신대로 ArgTy sig 설계하고 모듈 구현한다음 QueueMake에 넣으면 될겁니다.

2번과 3번은 같은 문제인데 다른 방식으로 구현한다 가 맞겠죠
3번이 2번보다 같은 코드의 중복이 덜 할 것입니다.

따라서 3번 구현하는데 2번에서 만든 StringSetQ자체를 복사해다 쓰시면 안됩니다.

[김현우]

3번 문제의 제출코드 골격을 대략

[최영진09]

감사합니다.

그런데 아직도 잘 이해가 안 되는데요...

StringQQ를 만들기 위해서는 인자로 (ArgTy를 만족하도록 처리된? 감싸준?)StringQ를 넣어야 할 것 같은데

인터프리터가 아닌 실제 코드에서

StringQ를 만들고,

StringQ를 통해서 ArgTy를 따르는 모듈을 만들고,

그 모듈로 StringQQ를 만든 후 제출하는 건가요?

그러니까 실행 시 QueueMake를 호출하는 것이 아니라(물론 이 것도 채점시 포함되겠지만 일단 StringQ, StringQQ에서는)

QueueMake를 코드 내부에서 이미 호출해서 StringQ와 StringQQ가 만들어져 있어야 하는것인가요?

아...이번 숙제는 궁금한 걸 상대방이 알아듣게 표현하기가 너무 어렵네요 ㅠㅠ
제가 아직 이해가 부족한 탓이겠죠..

[이승중]

우선, 인터프리터랑 실제 코드랑 여기선 차이가 없습니다.
(toplevel에서 ;; 안써준다는 것 외에)

제출 하시는 코드에 인터프리터에 적듯 적어서 내시면 됩니다.
(물론 잘 컴파일 되는 지 확인은 해보셔야겠죠)

저쩌구 정의랑 QueueMake로 StringQ만드는 시점만 잘 조절하면
됩니다.