[강호찬]

안녕하세요, 컴퓨터공학부 17학번 강호찬입니다.

HW7의 3번 문제에서 RecLet 관련하여,
제공해주신 M.pdf의 semantics 정의와
m.ml 코드 상 decl 타입의 REC이 일치하지 않아 질문을 드리게 되었습니다.

M.pdf의 semantics 정의 상으로는 e1을 evaluation 하면 함수가 나오는 반면,
decl 타입의 REC는 (fun_id, arg_id, body) 형태로 입력을 받습니다.

M.pdf의 semantics로 생각하지 않고, 알아서 semantics를 생각해서 구현하면 되나요?

감사합니다,
강호찬 드림.

[조승한]

안녕하세요, 조교입니다.

semantics 정의에 RecLet의 e1을 fn x => e로 이해하시면 될 것 같습니다.

좋은 질문 감사합니다!
조승한 드림