게시판 인덱스

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

VAR x 질문입니다

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



가입: 2009년 9월 19일
올린 글: 35

올리기올려짐: 2009년11월12일 2:10    주제: VAR x 질문입니다 인용과 함께 답변

체커에서 exp 가 VAR x 가 들어오면 타입을 어떻게 리턴해야 할지를 모르겠습니다

m.ml을 보면 type types = TyInt (* integer type *)
| TyBool (* boolean type *)
| TyString (* string type *)
| TyPair of types * types (* pair type *)
| TyLoc of types (* location type *)
| TyArrow of types * types (* function type *)

이렇게 되어 있는데

M Definition을 따르면 VAR x 는 Location Type인데 이 x가 어떤 타입을 저장하고 있는 주소인지를 알 방법이 없지 않나요,,

TyLoc(TyBool)를 리턴해야 할지 TyLoc(TyString)리턴해야할지

즉, VAR x가 들어왔을때 TyLoc안의 type을 무엇을 리턴해야되는지 궁금합니다
위로
사용자 정보 보기 비밀 메시지 보내기
이중호



가입: 2009년 9월 19일
올린 글: 35

올리기올려짐: 2009년11월12일 2:14    주제: Type Environment를 쓰면 될꺼 같은데 인용과 함께 답변

M_Checker에 check함수는 exp하나만들 파라미터로 받아옵니다,,,
위로
사용자 정보 보기 비밀 메시지 보내기
허기홍



가입: 2007년 9월 27일
올린 글: 231

올리기올려짐: 2009년11월12일 8:16    주제: 인용과 함께 답변

그렇습니다.
타입 환경을 만드시면 되죠.

타입 환경을 갖고 타입 체크를 하신 후
숙제에 제시된 타입 체크 함수와 물려주시면 됩니다.

이렇게 하는 이유는
- 뼈대에서 환경을 제한해버리면 여러분이 구현하는 재미가 반감되므로
- 환경 구현에 상관없이 편하게 채점하기 위해서
입니다.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
현철



가입: 2009년 10월 7일
올린 글: 27

올리기올려짐: 2009년11월12일 8:18    주제: ㅠㅠ 인용과 함께 답변

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

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


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