이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김찬민
가입: 2010년 9월 6일 올린 글: 81
|
올려짐: 2014년11월8일 14:51 주제: 숙제 5-1, 6-1: SM5,sonata environment가 구현과 문서가 다른데 무엇이 맞는가요? |
|
|
김슬기님께 전해들은 내용입니다.
숙제 문서에는 다음과 같이
인용: | E ∈ Environment = (Var × (Loc + Proc)) list |
로 되어있습니다.
하지만 실제 구현에서는 다음과 같이 스택에 올 수 있는 임의의 값이 bind가 됩니다.
코드: | and svalue = V of value | P of proc | M of map
and map = string * svalue
and environment = map list
...
| (w::s,_,_,BIND x::c,_) -> (s, m, (x,w)::e, c, k)
|
구현을 따라서 Loc과 Proc 이외의 값을 BIND시켜도 됩니까?
추가) 같은 문제가 HW6-1의 Rozetta의 sonata와 sm5 구현에도 있습니다. |
|
위로 |
|
 |
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2014년11월9일 23:17 주제: |
|
|
사실 예년까지 써오던 뼈대코드의 sm5 관련 부분에, 타입 정의와 관련하여 애매한 부분이 있는 것은 확인했습니다만, 듀가 넉넉하지 않다고 판단하여 뼈대 코드를 급하게 올리다 보니 수정하지 못한 채로 배포되었습니다.
기본적인 원칙은, 숙제 문서의 내용을 따르는 것으로 하겠습니다.
1. 번역 결과로 sm5/sonata 프로그램을 내 놓을 때, Environment에서 Var는 Loc/Proc과만 묶도록(bind) 번역해 주시기 바랍니다.
2. Rozetta에서 입력으로 받는 sm5 프로그램 또한, Environment에서 Var는 Loc/Proc과만 묶는 코드로 이루어져 있을 것입니다. |
|
위로 |
|
 |
김찬민
가입: 2010년 9월 6일 올린 글: 81
|
올려짐: 2014년11월10일 0:22 주제: |
|
|
감사합니다. |
|
위로 |
|
 |
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|