강호찬
가입: 2019년 9월 12일 올린 글: 24
|
올려짐: 2022년5월20일 11:46 주제: [HW 7-3] RecLet 관련 질문 |
|
|
안녕하세요, 컴퓨터공학부 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를 생각해서 구현하면 되나요?
감사합니다,
강호찬 드림. |
|