게시판 인덱스

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

숙제 5-1, 6-1: SM5,sonata environment가 구현과 문서가 다른데 무엇이 맞는가요?

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2014)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김찬민



가입: 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    주제: 인용과 함께 답변

감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2014) 시간대: GMT + 9 시간(한국)
페이지 11

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


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