엄태휘
가입: 2014년 9월 14일 올린 글: 8
|
올려짐: 2019년11월26일 0:00 주제: 숙제 7 - 2 CPS 관련 질문드립니다. |
|
|
안녕하세요 조교님.
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번에 의해서
코드: | Fn (k, App (Var k, Fn (x, e)) |
로만 변환하면 충분한 것인가요? 아니면 e 또한 cps로 변환하여 넘겨주어야 하는 것인지요?
감사합니다. |
|