| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
한재호
손님
|
 올려짐: 2005년10월5일 19:09 주제: 강의노트와 조교님께서 올려주신 K- 의미 정의 파일과 다른 점 |
 |
|
1.
IF2의 경우에 if e1 then e2 else e3의 경우
e2와 e3의 타입이 같아야 하고 리턴 타입 역시 e2(혹은 e3)라고 되어 있습니다.
어떤 쪽을 따라야 할까요?
또한 강의 노트에,
2. if e1 then e2에서 e2는 반드시 unit 타입이어야 한다.
3. for x:=e1 to e2 do e3에서 e3는 unit 타입이어야 한다.
4. while e1 do e2에서 e2는 unit 타입이어야 한다.
각각 어떻게 해야 할지 정해주셨으면 좋겠습니다. |
|
| 위로 |
|
 |
김덕환
가입: 2005년 8월 29일
올린 글: 190
|
| 올려짐: 2005년10월5일 19:42 주제: Re: 강의노트와 조교님께서 올려주신 K- 의미 정의 파일과 다른 점 |
|
|
| 한재호 씀: | 1.
IF2의 경우에 if e1 then e2 else e3의 경우
e2와 e3의 타입이 같아야 하고 리턴 타입 역시 e2(혹은 e3)라고 되어 있습니다.
어떤 쪽을 따라야 할까요?
또한 강의 노트에,
2. if e1 then e2에서 e2는 반드시 unit 타입이어야 한다.
3. for x:=e1 to e2 do e3에서 e3는 unit 타입이어야 한다.
4. while e1 do e2에서 e2는 unit 타입이어야 한다.
각각 어떻게 해야 할지 정해주셨으면 좋겠습니다. |
강의 슬라이드 번호를 알려주시면 좋겠습니다. 아마도 정적 타입 시스템 설계에 관련된 슬라이드를 보시고 계신 것 같습니다.
_________________
TheyAreAsSmartAsYouAre |
|
| 위로 |
|
|
한재호
손님
|
| 올려짐: 2005년10월5일 20:01 주제: Re: 강의노트와 조교님께서 올려주신 K- 의미 정의 파일과 다른 점 |
|
|
| 김덕환 씀: |
강의 슬라이드 번호를 알려주시면 좋겠습니다. 아마도 정적 타입 시스템 설계에 관련된 슬라이드를 보시고 계신 것 같습니다.
|
4-2.ppt의 18 페이지 입니다.
만약 저렇게 할 필요 없다면 정적 타입 체킹은 이번 숙제에 포함 안된다는 말씀이시죠? |
|
| 위로 |
|
|
김덕환
가입: 2005년 8월 29일
올린 글: 190
|
| 올려짐: 2005년10월5일 20:12 주제: Re: 강의노트와 조교님께서 올려주신 K- 의미 정의 파일과 다른 점 |
|
|
| 한재호 씀: |
4-2.ppt의 18 페이지 입니다.
만약 저렇게 할 필요 없다면 정적 타입 체킹은 이번 숙제에 포함 안된다는 말씀이시죠? |
정적 타입 검사는 이번 숙제에 해당하지 않습니다. 제공된 정의를 잘 따르시면 됩니다.
_________________
TheyAreAsSmartAsYouAre |
|
| 위로 |
|
|
한재호
손님
|
| 올려짐: 2005년10월5일 20:15 주제: Re: 강의노트와 조교님께서 올려주신 K- 의미 정의 파일과 다른 점 |
|
|
네 알겠습니다.
감사합니다.  |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
