이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
신지민
가입: 2015년 9월 3일 올린 글: 9
|
올려짐: 2015년10월10일 18:37 주제: 숙제 3-1 질문입니다. |
|
|
안녕하세요, 조교님 !
let lookup_env_proc e f 함수를 보면
Proc(id,exp,env) 이렇게 되 있는데요,
그런데
σ{f → ⟨(x1,··· ,xn),e1,σ⟩}
이걸 보면
Proc(id list, exp, env)가 맞는 것 아닌가요?ㅠㅠ |
|
위로 |
|
 |
박성원
가입: 2015년 9월 1일 올린 글: 19
|
올려짐: 2015년10월10일 19:14 주제: |
|
|
이건 그냥 단순한 오타? 같습니다 아마도.. (아니면 조교님이 귀찮으셨거나)
KMINUS 모듈 구현부 위쪽에 보면
코드: |
type env = (id, env_entry) Env.t
and env_entry = Addr of Loc.t | Proc of id list * exp * env
|
이런 코드가 있어요. 그러니 id list 가 맞는 거죠... |
|
위로 |
|
 |
최재승
가입: 2012년 9월 10일 올린 글: 211
|
올려짐: 2015년10월11일 1:55 주제: |
|
|
안녕하세요,
해당 라인은 변수 이름을 붙이는 과정에서 일어난 오타가 맞습니다.
코드: | | Proc (id, exp, env) -> (id, exp, env)) |
는 아래와 같이 되는 것이 더 의미가 알맞은 코드가 되겠네요.
코드: | | Proc (id_list, exp, env) -> (id_list, exp, env)) |
변수 이름을 잘못 붙인 것이고 실제 타입 정의가 잘못된 것은 아니므로 기존의 코드를 그대로 쓰셔도 큰 문제는 없습니다만, 일단 뼈대 코드의 해당 라인을 수정해 두었습니다.
혼란을 드려 죄송합니다.
박성원 님도 답변 감사합니다.
조교 드림 |
|
위로 |
|
 |
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|