[박성희]

안녕하세요, 프로그래밍언어 수강 중인 박성희입니다.
과제를 하던 중 CPS 와 관련하여 궁금한 점이 생겨 질문 드렸습니다.

과제 스펙 상 Exercise 1에서 변환 전 프로그램의 결과는 Int로 한정되어 있고, 변환하였을 때 (Int -> Result) -> Result 로 되어 있기 때문에 별 문제가 없을 것 같습니다만,
Exercise 2와 같은 경우에는 각각 tau / (tau -> Result) -> Result로 되어 있으며 프로그램의 결과가 정수인 것만 변환 Input으로 받는다는 내용이 있어 보이지는 않습니다. 이것도 tau = Int라고 생각하면 될까요?

그렇다면 Exercise 2에서 프로그램의 결과가 정수가 아닌 특정 함수가 되는 부분에 대해서도 CPS 변환(?)을 수행해야 한 다는 것인가요?
가령. e를 CPS 변환한 것을 [e]라고 했을 때
[\x.(x+1)](\x.(x 1)) 의 실행 결과가 2가 되도록 맞춰 주여야 하는 지 질문드렸습니다.
파서는 Exercise 1과 동일해서 프로그램이 정수만 받는 것으로 생각해서 문제에 대한 잠정적인 답을 구하긴 했습니다만 혹시나 저게 만족한다면 조금 더 생각해 보아야 할 부분이 생길 것 같아 글을 올렸습니다.

그리고 (Exercise 2의 경우는 xcps 함수가 설탕 없는 프로그램을 얻어야 하는 추가 조건이 있지만) 두 상황 모두 run e == run ([e] (추가적인 할 일 없는))
인 상황에서의 결과값이 같은지만 테스트된다고 보면 될까요?

감사합니다.

[오규혁]

안녕하세요,

과제 문서에 나와있는 내용은 변환 전 프로그램이 int인 경우에 변환 후 타입을 설명한 것입니다.
항상 모든 변환 전 프로그램이 int라는 의미는 아닙니다.

채점은 변환 한 프로그램이 옳게 변환된 프로그램인지 확인하는 방식입니다.
결과값이 확인하는 경우도 있지만 다른 방식으로도 테스트하여 채점합니다.

조교드림
_________________
TA 오규혁
e-mail: ghoh@ropas.snu.ac.kr

[박성희]

안녕하세요,
빠른 답변 감사드립니다.
우선 다시 숙제 스펙을 꼼꼼히 읽어 보니 앞쪽 두 문제 모두

[오규혁]

안녕하세요,

함수의 경우에는 1번이 맞습니다. 함수의 CPS 변환 식의 타입은 인용 꼴과 다릅니다.

조교드림
_________________
TA 오규혁
e-mail: ghoh@ropas.snu.ac.kr