강동옥
가입: 2009년 9월 18일
올린 글: 602
|
 올려짐: 2014년10월16일 0:13 주제: Env.bind 의미 관련 질문 |
 |
|
(메일로 질문하신 내용에 대한 답변입니다. 조교팀의 논의 결과, 숙제 내용과 관련된 질문은 불가피한 상황이 아닌 이상 게시판을 통해 질문 및 답변을 진행하기로 결정되었습니다. 이는 다른 수강생들에게도 답변 내용을 공유하기 위함입니다.)
| 인용: |
Env.bind 함수의 의미를 모르겠습니다.
bind env id loc 에서 id 를 원래 location과 연결을 끊고 다른 loc 과 연결 시키는 함수인가요??
|
네, 말씀하신 대로 Env.bind env id env_entry은, 주어진 environment에서 id를 env_entry으로 연결(매핑)시키는 함수입니다. 만약 기존에 해당 id에 매핑된 env_entry이 있었다면 그 매핑을 대체하게 됩니다. 이렇게 bind한 env_entry는 나중에 Env.lookup env id를 통해 찾을 수 있습니다. 이 env_entry는 location이 될 수도 있고, procedure가 될 수도 있습니다. 뼈대코드에 주어진 module K의 type env 정의를 참조해 주세요. |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
