[양주현]

https://ocaml.org/releases/4.02/htmlman/moduleexamples.html

위의 공식 문서로 모듈이 뭔지 알아보던 중 몇 가지 질문사항이 있습니다.

1. 저 문서의 2.1 Structures의 첫 코드를 그대로 복붙해서 실행해 보면 첫 줄의 # 부분에서 오류가 나는데 #은 무슨 의미인가요?

2. #을 지워도 파일의 마지막 줄의 다음 줄에서 오류가 나는데 어떤 문제인가요? 세미콜론을 붙여도 계속 오류가 납니다.

3. 문서에는 module PrioQueue 가 한 번은 struct와 함께, 한 번은 sig와 함께 써 있는데 각각 무슨 의미인건지 모르겠습니다. struct에는 구현이 들어가 있고 sig에는 인터페이스가 있는 느낌인데, 정확히 어떻게 사용하는 건가요?

4. 과제 문서에서 sig로 작성된 module type Queue은 Queue 타입이면 구현되어야 할 인터페이스들을 정해 놓은 것이고, struct로 작성된 module IntListQ은 Queue 타입의 모듈 중 element의 타입이 지정된 구체적인 module의 예시라고 이해했는데, 예시로 되어 있는 IntListQ의 빈 부분을 작성하는 것이 저희의 과제인가요? 아니면 IntListQ는 Queue 타입을 만족하는 모듈의 그냥 예시일 뿐이고, 저희는 일반적인 Queue 타입 모듈의 enQ와 deQ를 완성해야 하는 것인가요?

감사합니다.

[조승한]

안녕하세요, 조교입니다.

1,2) 문서의 코드는 ocaml REPL 환경에서 실행한 것 입니다. 간단하게 터미널에서 ocaml 명령어로 열 수 있습니다. 종료시에는 exit 0;;를 입력하면 됩니다.
문서의 초록색 부분이 ocaml 코드이고 빨간색 부분은 출력입니다.
3) 모듈의 type을 정의할 때 sig end로 묶어서 정의하고, 모듈을 정의할 때 struct end로 묶습니다.
4) Queue라는 type을 만족하는 모듈 IntListQ를 작성하시면 됩니다.

감사합니다.