[엄태휘]

안녕하세요 조교님.

Fn 및 Rec을 CPS로 변환하는 것 관련하여 질문이 있습니다.

숙제 7 공지사항을 보면

1. 어떤 mexp에 나타난 부분식(sub-expression)들은 모두 cps 변환되어야 합니다. 예를 들어 cps(e1+e2)의 경우, e1, e2는 각각 cps로 변환된 (cps e1), (cps e2) 형태로 나타나야 합니다.

2. e가 상수(Num, Var, Fn, Rec) 일때만 cps(e) = \k.k(...) 형태를 허용합니다. 상수의 경우 e자체가 이미 계산된 결과이므로 바로 k에 전달하는 것입니다.
라고 되어 있습니다, 그렇다면 Fn (x, e)의 경우 2번에 의해서

[조민기]

1번 항목에 의해서 부분식인 e 또한 cps 변환되어야 합니다.

2번 항목은 3번 항목과 함께 읽으시면 됩니다.
복합식은 하나의 부분식을 먼저 변환하고 남은 부분식의 할 일을 k와 함께 묶어 구성하면 되는데(cps(e1+e2) 예시 참조) Fn (및 Rec)의 경우 그럴 필요 없이 \k.k(...) 형태가 된다는 뜻이었습니다.

[엄태휘]

아 그런 의미였군요. 감사합니다.