이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
이중호
가입: 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 주제: ㅠㅠ |
|
|
재..재미ㅠㅠ |
|
위로 |
|
|
|