[권현우]

안녕하세요

6-2 CPS 변환 스펙에 질문이 있어 글을 올립니다.
보충 스펙에서 다음과 같이 규칙이 제시 되어있습니다.

[로파스]

Fn(x, e)에서 e 역시 sub-expression이므로 물론 알맞은 방법으로 cps변환되어야 제대로 실행됩니다. 구현을 완성하신 뒤 (fn x => x+1) 1 과 같은 간단한 프로그램을 변환시켜 보시면 직접 확인해보실 수 있습니다.

스펙의 2번 사항에서 e를 바로 k에 전달한다는 것은 복합식의 경우와는 다르게 계산된 결과값을 따로 받는 부분(\v....) 이 필요하지 않기에, \k.k(...)형태로 쓸 수 있다는 뜻입니다. e를 '바로' 전달한다는 것이 다소 애매모호하게 표현되어있던 것 같은데, e를 그대로 넣어야 한다는 것은 아니고 cps변환시에 잘 작동할 수 있도록 알맞게 변환해주시면 되겠습니다.

-조교 드림.