[박광석]

1. recursive call이 가능하게 하려면 push (x, C') 커맨드를 이용해 나오는 (x, C', E) 에서 E에 (x, C', E)를 다시 bind해서 call 해줘야하는데, procedure가 define된 시점의 environment에 딱 (x, C', E)하나만 추가해주는 방법이 있나요? (아무리 생각해봐도 답이 안나와서 답답하네요 ㅠㅠ)

2. while, for loop 구현가능한지 확인좀 해주세요. 조교님들 수고하시는거 아니까 이런 말 정말 하고싶진 않았는데, 스펙이나 skeleton을 올릴 때 조교님들 직접 제대로 돌아가는 프로그램을 구현해 보고 올리시는건가요? 수강생이 테스터도 아니고 계속해서 스펙이 바뀌는거 유쾌하지가 않네요. 제 생각이 짧아서 방법을 못찾은 것일 수도 있지만 솔직히 믿을만하지가 않아요. 혹시라도 구현이 불가능한 거였다면 제 소중한 시간을 쓸데없는 고민에 할애하게 된 셈이잖아요? 그래서 드리는 질문입니다. 성실한 답변 부탁드릴께요.

[안준환]

조교님은 아니지만........ 두 가지 모두 구현 가능합니다. (K-- 뿐만 아니라 K- 또한 SM5로 번역 가능하다는 글을 교재 맨 끝에서 본 것 같네요.)
더 자세한 설명을 드리기 위해서는 조교님의 허락이 필요할 것 같습니다만, 일단 저는 SM5를 수정하지 않고 두 가지 모두 구현해서 정상적으로 동작하는 것을 확인했습니다.

[신기정]

아 제가 질문을 잘못읽었네요..

죄송합니다. 댓글 삭제했습니다.

[박광석]

아 답변 감사합니다. 좀 더 고민을 해봐야겠네요.

[조성근]

[박광석]

매번 수고하시는데 쓴 소리 해서 죄송합니다.
제가 너무 예민했던 것 같네요. 답변 감사드립니다.