[강민혁]

recursive 구현할 때

let env' = Env.bind env_saved arg_id (Addr l) in
let env'' = Env.bind env' f (Proc (arg_id, e_body, env_saved)) in
위와같이 f 선언할 당시 env_saved 에 f 를 다시 bind한 env''를 사용하여 call을 하는데

(V (L l) :: V v :: P (x, c', e') :: s, m, e, CALL:: c, k) ->
(s, store l v m, (x, Loc l)::e', c', (c, e) :: k)

Sm5에서 CALL 전에 e' 에 P를 다시 추가 할 방법이 없지 않나요?

sm5.ml을 수정하면 구현이 되는데 제가 놓치고 있는 부분이 어딘지 모르겠네요.

[조상우15]

기본적으로 스택머신이고 POP이나 다른 특별한 연산을 하기전에는 스택에서 사라지지 않는 성질을 이용해서 저는 구현했습니다..맞는진 모르겠네요

[최재승]

LETF 와 CALLV의 번역이 원래 이번 함수에서 가장 어려운 부분입니다.

깨닫고 나면 의외로 간단하게 번역되는데, 떠올리는 데는 발상의 전환이 필요할 수도 있으니 조금 더 고민해 보시기 바랍니다.

그리고 5-1 문제에서는 sm5.ml 의 구현을 수정하는 것은 문제의 의도에 어긋나므로, 수정하시면 안됩니다.

조교 드림

[강민혁]

아 그냥 해도 간단히 되네요. 답변 감사합니다