[seongtae_jeong]

안녕하세요.
HW7 exercise 2 문제의 의도에 관해 질문이 있습니다.

숙제 문서의 첫 페이지를 보면 예외상황 처리가 CPS 변환을 통해서 녹여 없앨 수 있는 설탕구조라는 사실을 확인하는 것이 목적이라고 되어 있습니다.
그런데 이 목적이 제대로 달성되려면 xcps의 결과로 얻어지는 xexp 식에 Raise와 Handle이 포함되면 안 된다는 조건이 필요할 것이라고 생각했습니다.

그래서 이런 제약이 있다고 생각하고 xcps를 구현해야 하는 것인지, 아니면 그냥 신경쓰지 않아도 되는지를 질문 드립니다.

[이재호]

안녕하세요,

문제에 설명되어 있듯이 xcps은 raise와 handle을 사용한 프로그램을, 동일한 일을 하면서 예외처리 기능을 사용하지 않은 마저할일 전달 방식(CPS)의 프로그램으로 녹여내는 함수입니다. 따라서 결과로 나온 프로그램에는 raise와 handle이 없어야 합니다.

감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr