[박상혁]

HW 5-1의 K--정의를 살펴보면 Record가 없습니다.

HW 5-2의 gc를 구현할 때 Record 관련 command들(box, unbox 등)이나 value들(Record 등)이 없다고 가정하고 구현해도 되나요?

[박상혁]

좀 더 정확히 말하면,
HW5-1에서 정상적인 (Record가 없는) K-- program을 trans한 sm5 program만 실행한다고 가정하고 gc를 구현해도 되나요?

[강동옥]

아닙니다, 5-2의 입력으로 들어가는 SM5 프로그램에는 Record 관련 command들이 들어갈 수 있으며, 이러한 입력 프로그램을 가정하고 GC를 구현하셔야 합니다.

5-1에서 입력으로 들어가는 K-- 프로그램에 Record 요소가 없다고 해서, 번역의 결과로 나온 SM5 프로그램에 Record 요소가 없다고 생각하는 것은 잘못입니다. Translator.trans 함수가 만족해야 하는 것은 단지 "같은 일을 하는" 프로그램으로 번역해야 한다는 조건뿐입니다. box나 unbox같은 명령을 사용하는 프로그램으로 번역하는 것도 당연히 가능할 것입니다. 정리하자면, K-- 프로그램의 스펙과 SM5 프로그램의 스펙은 서로 독립적인 것이라고 생각하셔야 합니다.

[박상혁]

확인했습니다. 답변 감사드립니다.