[장원재]

HW2를 구현할 때
leaf : τ → τ tree
node : (τ tree) list → τ tree
형식으로 구현했었습니다.

이번에 2-1, 2-2, 2-3에 대해 타입체킹을 해야되는데,
leaf 를 구현할 때,
(define (leaf n)
(cons 'leaf n)
)
으로 구현했으면 타입체킹시 τ → τ tree로 해야할지, τ → τ pair 로 해야할지 궁금합니다. 즉, 문제에 나와있는 타입으로 체킹해야되는지, 실제 구현한 타입으로 체킹으로 해야되는지 궁금합니다.

[김윤승]

실제 구현한 타입으로 하는 게 맞는 것 같습니다.

[김윤승]

문제에서 말한 타입으로 하는 게 간단할 수도 있겠군요.

둘 다 인정하겠습니다.