[임창원]

아직 functor에 대한 개념이 좀 흐린데요;;

3번에서 lexp 이 Lam.lam인데 (3pg 마지막)

T.transl2d lexp 를 하려면

lexp의 type때문에 문제를 일으키네요
Error: This expression has type Lam.lam but is here used with type
T.lam = Trans(Lam)(Debru).lam

TRANS sig에 type lam이 정해져있고
val transl2d : lam -> debru 으로 나와있는데
Lam.lam -> Debru.debru 타입으로 만들수있나요??

[윤용호]

아아.

주어진 풩터 코드를 잘 보시면

module Trans (Lam:LAM) (Debru:DEBRU) : TRANS with ... <- 요기

... 이 있지요?

이자리에 type lam이 Lam.lam 이며 debru가 Debru.debru라는 점을 채워주어야 합니다. 그래야 외부에서 둘이 같은 타입인걸 알 수 있습니다.

module Trans (Lam : LAM) (Debru : DEBRU) : TRANS
with type lam = Lam.lam and type debru = Debru.debru =
struct
type lam = Lam.lam
type debru = Debru.debru
let transl2d = ...
let transd2l = ...
end

이렇게 작성하시면 잘 돌아갑니다.
_________________
TA

[장수원]

[윤용호]

어머 그렇네요.

되게 만들려고 여기저기 주석처리했다가 풀엇다가 반복하다보니 sig가 바뀌어있었군요 (...) 죄송합니다


TRANS의 sig에서 type lam과 type debru의 구체적인 내용을 명시 안하면 잘 돌아가게 되는 것 같습니다.
_________________
TA

[장수원]

공지 글타래를 참고 하세요.