[강민혁]

RecLet 의 semantic을 보면

s, M |- e1 => <Lx, e, s'>, M'

s[x-->v1], M' |- e2 => v, M''
일때

s, M |- let rec f = e1 in e2 end => v, M''
이라고 나와 있는데

그러면
exp 가 LET(REC(f, x, e1), e2) 일때
e1 을 eval 하면 function의 closure 가 나온다는 뜻 아닌가요??

근데 e1 을 먼저 eval 하면 unbound id 에러가 뜨네요.

제가 잘못 이해한 부분이 있나요??

[진우정]

저도 이부분이 시맨틱스와 맞지 않다고 생각했는데
어떻게 된건지 궁금합니다.

[최재승]