[방정호]

구현해야하는 K 모듈 중 semantics 함수 외에 다른 부분을 수정해도 되는지요?

1. 우선, env_loc 같은 함수가 만들어져 있던데
K 모듈에 새로운 함수를 추가해도 되는건가요?
이 부분은 다른 글에서 확인하였습니다.

2. Env, Mem, Loc 등에 모듈의 구현을 수정해도 되는건지요?
signature는 수정하지 않고, struct 부분에서요.

3. K 모듈내에서 정의하고 있는 type들을 수정해도 되나요?
예를들어,

[강동옥]

우선, 2. 3.에 대해서 답변을 드리자면, hw3.ml은 자유롭게 수정하셔도 되는 것으로 하겠습니다. hw3.ml의 코드를 드리고 implement 할 부분을 지정해 드린 것은 어디까지나 수강생들의 편의를 위한 일이기에, 이 구현을 수정하는 것은 자유입니다.

단, 뼈대 코드로 주어진 다른 코드는 수정하지 말고 구현/테스트하시기 바랍니다. 채점할 때는, 제출하신 hw3.ml 파일을 가지고, 나머지 뼈대 코드와 함께 컴파일하고 실행할 것입니다.

4번 질문하셨듯이, 메모리 소모량의 측정을 위해서는 메모리 모듈의 구현을 수정하는 것이 필요할 것입니다. ocaml이 제공하는 메모리 관리 모듈을 사용하는 방법도 있겠지만, 메모리 모듈의 구현을 수정하는 것을 추천합니다. 참고로 메모리 소모 및 측정은 채점에는 반영되지 않을 것입니다.

[김민석]

a

[김민석]

밑에 글이랑 모순되는 부분이 있는것 같아서 확인차 다시 질문드려요.

아래 글에서는 시그니쳐 부분은 수정할 수 없고, 모듈만 수정 가능하다고 하셨는데 이 글에서는 자유롭게 수정 가능하다고 하셨는데 어떤게 맞나요?

[강동옥]

혼란을 드려 죄송합니다.

모듈 타입(시그니처) 부분은 수정하지 마시기 바라며, 모듈 구현 부분만 수정 가능한 것으로 하겠습니다. (사실, 모듈 타입 부분은 수정할 경우 뼈대 코드와 함께 컴파일하는 데 문제가 생길 수 있습니다.) 이것만으로도, 충분히 자유로운 구현이 가능할 것입니다.