[신희식]

1. type을 constructor없이 정의 해서 사용해되 되는 건가요..?

2. module IntListQ : Queue = 를 해야하나요
아니면 그대로 module IntListQ 면 되나요?

( 전자로 하니 abstraction이 되고 문제의 예시, let yourQ = IntListQ.enQ(myQ, [1]) 에서 [1]을 element로 받아들이지 않게 되네요.
(이건 element의 constructor가 없어서 그런것 처럼 보이는데 왜 그럴까요..)
후자는 abstraction 이 아닌 노출이 그대로 일어나는군요.)

[윤용호]

1. type을 constructor 없이 사용할 수 있습니다.

예를 들어 우리 숙제에도 type state = int 라든지... 예가 있지요.

단, constructor가 없으면 union으로 사용할 수가 없게 됩니다.

예를 들어 type state = int | string 이런 표현은 곤란합니다.

즉, constructor 없는 type은 단순히 aliasing 기능만을 갖습니다.


2. 채점에 관해선 제가 뭐라 드릴 말씀이 없고

사실 sig가 좀 잘못주어졌다는 생각이 드네요.

보통 임의의 타입의 값을 저장하는 자료구조를 sig로 정의한다면

sig
type 'a queue
...
end

이런 sig가 주어져야 합니다만.. element라는 타입이 따로 나와있는 바람에 어렵게 되었군요.
_________________
TA

[장수원]

[강동옥]

sig를 구체적으로 고치라는 건가요?
아니면 단순히 Tmp를 사용하는것과는 별개로 Tmp를 정의하는 것이 에러가 안나면 되는건가요?

[윤용호]

1. sig는 원래대로 유지합니다.

2. IntListQ:Queue 로 선언한다 하더라도 문제가 생기지 않도록 IntListQ를 작성합니다.

3. IntListQ는 실제로 제출할 때는 :Queue 없이 제출합니다.
_________________
TA

[신기정]

IntListQ:Queue 로 선언한다 하더라도 문제가 생기지 않도록
IntListQ를 작성합니다.

-> 이 방법이 위에 조교님이 말씀하신데로
module IntListQ:Queue with type element = int list= 라면


IntListQ는 실제로 제출할 때는 :Queue 없이 제출합니다.
-> module IntListQ with type element = int list=

이렇게 제출하라는 말인가요?

이러면 syntax error가 발생합니다만.

[장수원]

[강동옥]

# module Tmp = (IntListQ : Queue);;
module Tmp : Queue
# open Tmp;;
# enQ (emptyQ, [1]);;
This expression has type Tmp.queue * int list but is here used with type
Tmp.queue * Tmp.element

이런 에러가 나면 안되게 구현하라는건지 궁금합니다.
아니면 Tmp를 정의할때 에러가 안나기만 하면 되는 것인지

[장수원]