[남예현]

안녕하세요, 조교님.
과제 2-4 를 풀기 위해 연습 코드를 작성하던 중 의문이 생겨 질문 드리게 되었습니다.

아래와 같은 코드를 작성해서 인터프리터로 실행하였습니다.
두 모듈은 삽입만 가능한 정수 큐이고요,
둘의 내부 코드는 완전히 같지만 모듈A와 달리 모듈B는 모듈 타입을 구현했습니다.

[로파스]

두가지 에러 모두 module type에서 elt의 타입을 명시적으로 공개하지 않아서 생기는 에러입니다.

module type에서 type elt라고만 선언되어있는데, 이것은 이러한 모듈타입을 가지는 모듈에는 elt라는 타입이 존재는 하는데, 이것이 구체적으로 어떻게 되어있는지는 드러내지 않겠다는 뜻입니다.

따라서 module type 내의 elt를 아예 int로 선언하거나, 펑터를 활용해 다른 모듈을 입력으로 받아 elt의 타입을 정의하도록 해야합니다.

전자의 경우는 elt가 임의의 타입에 대해서 잘 동작해야한다는 개념과 맞지 않으므로 쓰이지 않은 것이고, 후자의 경우는 이 문제의 의도 및 이번학기 전체 과정의 목표가 펑터 사용법을 익히는 것이 아니기때문에 따로 설명드리지는 않았습니다.

따라서 이번 숙제에서는 말씀해주신 에러들을 피하기 위해 MyModuleB처럼 모듈타입을 명시하고 구현하는 대신, 구현하신 모듈이 모듈타입에 맞는지만 확인해보시면 됩니다.

-조교 드림.