[minjoonchoi08]

안녕하세요, HW7 2번 문제 구현중에 더 이상 진행이 안되는 문제를 마주한 상태라 도움을 주실 수 있을까 싶어 문의드립니다 ㅠ

제 현재 구현 기준으로, 다른 케이스에서는 의도한대로 동작하는 것을 확인했는데 유독 app(fn, fn) 형태이고 fn 내에서 raise를 하는 케이스만 exception이 핸들링 되지 않는 모습 (결과가 2024) 을 보이고 있습니다.

어느 부분에서 수정이 필요한지 몇시간을 고민해도 갈피가 안잡혀서 질문드립니다.

1. fn, fnr는 constant expression이라고 주석으로 명시가 되어있는데, fn과 fnr을 CPS 변환할 때도 '예외상황이 발생했을 때 앞으로 할일'에 해당하는 continuation을 처리해주어야 할까요? (그렇게 해야 한다면, 방법에 대한 팁을 조금이라도 주실 수 있을까요..?)

2. 1번이 아니라면 App을 변환할 때 특별히 예외상황의 continuation에 대한 처리를 독특하게 (add, pair 등과는 다른 방식으로) 해야 할 필요가 있을까요?

질문이 모호한 것은 저도 알지만, 조금이라도 관련해서 tip을 주시면 감사하겠습니다. 수업에서 중점적으로 다룬 내용과도 다소 거리가 있고 예시가 부족하다고 느껴져서 너무 헤매고 있습니다 ㅠㅠ

[이재호]

안녕하세요,

1. 이 부분 같은 경우에는 1번 문제와 거의 비슷하게 변환이 될 것입니다. 함수도 정수 같은 상수이기 때문에 비슷하게 변환을 하면 될텐데요, 다만 모든 프로그램이 CPS로 바뀌기 때문에 함수의 몸통도 CPS로 바뀌어야 할 것입니다.
2. App을 변환할 때도 마찬가지로 1번 문제와 거의 비슷하게 변환이 되어야 합니다. 추가적으로 예외 상황에서 마저할일을 들고 다니는 것을 제외하면 구조가 거의 동일합니다. 1번 문제에서도 적용될 텐데요, App의 번역을 할 때는 마저할일을 전달하는 방식이, 상수 등을 번역할 때와는 다른 특이한 점이 있습니다. "마저할일"은 "할일"을 다하고 전달이 되어야 합니다. 상수는 그 자체로 할 일을 다 한 것이겠지요? 그런데 함수의 적용 같은 경우, 함수의 적용이 끝나야 할 일이 다 끝난 것이라고 볼 수 있습니다.

감사합니다.

조교 드림


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