[김남중]

type 메모리와 type 환경을 정의하는 방법을 몰라서 너무 고생을 했었는데요.
다른 학생들도 그 부분에서 고생을 하는 것 같아서

조교님께 물어보고 알아낸 방법을 공유하겠습니다.
(게시판 어딘가 답이 이미 있는지도 모르겠습니다.)

구현을 하실때,

type 환경 = (id, Mem.address) Env.t
type 메모리 = 값 Mem.t
val 빈환경 = Env.empty
val 빈메모리 = Mem.empty

위와 같이 코드를 작성하시면 됩니다.
설명을 자세히 해드리고 싶지만, 정확히 안내해 드릴 실력이 없어서 생략하겠습니다.

또 구현과정에서 사용하는 메모리에서 새로운 주소 할당 받기, 저장, 값 불러 오기 등은 signature부분에 나와 있는 것을 참고 하세요.

참고로. Mem.allocate m 은 m이란 메모리를 받아서, 할당한 addr 주소와 새로운 메모리 m1을 반환합니다.

[박대준]

형~ 멋져요~