[손효민]

안녕하세요,
과제 7-3 M 언어의 문법 중

LETREC 에서

eval env mem e1을 평가했을 때
<\x.e, env'> 말고 <f\x.e, env'> 가 나오는 것은 불가능한가요??
App과 RecApp을 짠 것 처럼

let c, env' = getClosure v in
match c with
| Fun ~
| RecFun ~
이런 식으로 하려고 했다가 Semantics를 다시 보니 RecFun의 경우는 나타나 있지 않아서 궁금해졌습니다.
그냥 그런 경우는 없다 생각하면 되는지 궁금합니다.

*추가로 Paren의 경우 M semantics 문서에는 있지만 코드에는 없던데 Parser가 알아서 처리하니까 무시하면 되는 건가요?

[이재호]

안녕하세요,

네, semantics 문서에 나타난 것에 충실하게 구현하시면 됩니다.

Paren의 경우 Parser가 처리한다고 보시면 됩니다.

감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr

[이재호]

다시 살펴보니 질문이 모호한 것 같은데요,
저희 구현은 `LET of decl * exp`로 decl은 재귀적인 정의인 경우 `REC of id * id * exp`입니다. 따라서 e1 (말씀주신 e1이 REC 안의 exp에 해당하는 인자라면)을 미리 계산할 것이 없습니다.

감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr

[손효민]

원래는 RecLet의 semantic에서 env, M ㅏ e1 => <\x.e, env'>,M' 부분이 헷갈려서 질문 드렸던 것입니다.
지금은 말씀해주신 대로 어찌저찌 이해가 되었습니다.

감사합니다.