[황호기]

과제 문서에 diff의 타입은
diff: ae * string -> ae
라고 되어있습니다.
ocaml에서 *은 pair을 나타내는 뜻이므로 diff가 받는 인자는 ae와 string의 pair가 되어야 하는데 뼈대코드에는
let rec diff (e: ae) (x: string): ae 로 되어있어서
ae와 string을 따로 받습니다. 제가 알기로는 이러한 diff의 ocaml타입은 ae->string->ae 라고 알고 있습니다.
과제 문서와 뼈대코드 중 어느것을 따라야 하나요?

[노승은]

그러게요, pdf는 페어고, 뼈대코드는 병렬형(?) 이네요.
같은 질문을 문제 6-7의 경우에도 똑같이 할 수 있을 것 같습니다.
6-7에 대해서도 답변 부탁드립니다.

[강지훈]

예,
ae * string -> ae와
ae -> string -> ae는 다른 타입입니다.

이번 숙제에서는 뼈대코드에 있는대로 (ae -> string -> ae) 구현하시면 되는 것으로 하겠습니다.
_________________
강지훈
프로그래밍의 원리 조교

Jeehoon Kang
TA, Principles of Programming