게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

숙제 3-1 질문입니다.

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2015)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
신지민



가입: 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))


변수 이름을 잘못 붙인 것이고 실제 타입 정의가 잘못된 것은 아니므로 기존의 코드를 그대로 쓰셔도 큰 문제는 없습니다만, 일단 뼈대 코드의 해당 라인을 수정해 두었습니다.

혼란을 드려 죄송합니다.

박성원 님도 답변 감사합니다.

조교 드림
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2015) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay