[박경태]

1) ([1], [3, 2]) = ([1, 2], [3])이 성립하나요?

2) 위에서
module StringSetQ
type queue = string list * string list 로 정의했습니다.

pos, ant를 각각 (x, y)에서 x와 y를 return하는 함수라고 하면,
module StringSetQQ
val : StringSetQ.queue -> string list
fun x -> LIst.append (pos x) (ant x)

와 같은 함수의 사용은 왜 유효하지 않나요?

[김윤승]

1. 둘 다 개념적으로 (1 2 3) 의 큐를 의미한다면 같습니다.

2. 모듈 StringSetQQ 안에서는 이 큐에 들어가는 원소들은 StringSetQ.queue라는 타입을 가진다는 것을 아는데요,

모듈 StringSetQ가 정의될 때, 자신의 queue 정보를 밖에서 빼낼 수 없게 되어있기 때문으로 보입니다.

StringSetQ.queue = string list * string list 라는 정보는 StringSetQ 모듈을 나가는 순간 가려지기 때문입니다.

모듈을 정의할 때, sig를 붙이게 되면 sig에 명시된 정보 이외의 것은 밖에서 볼 수 없게 됩니다.