| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
안형찬
손님
|
 올려짐: 2005년10월18일 19:31 주제: 레코드 필드명이 같은 경우 |
 |
|
레코드 필드명이 같은 경우, 즉,
은 semantics가 정의되지 않는 것이 맞는지요?
주어진 semantics 규칙에 의하면 이 식의 값은 서로 다른 l1, l2에 대하여 {x |-> l1, x |-> l2}가 되어야 하는데, 이래서는 올바른 function이 되지 않으므로 에러로 보는 것이 맞을 것 같다는 생각은 듭니다만, 어떤지 확인 부탁드립니다. |
|
| 위로 |
|
 |
박대준
가입: 2005년 10월 7일
올린 글: 245
|
| 올려짐: 2005년10월18일 20:08 주제: |
|
|
윽.. 그렇네요..
코드를 수정해야 할듯..
이런게 마감직전까지 나오면 안되는데.. ㅠ.ㅠ
할 것이 많아서 이건 미리 해놓고 다른 숙제 하는 사람들은 힘들어요.. ㅠ.ㅠ |
|
| 위로 |
|
|
김덕환
가입: 2005년 8월 29일
올린 글: 190
|
| 올려짐: 2005년10월19일 2:37 주제: Re: 레코드 필드명이 같은 경우 |
|
|
| 안형찬 씀: | 레코드 필드명이 같은 경우, 즉,
은 semantics가 정의되지 않는 것이 맞는지요?
주어진 semantics 규칙에 의하면 이 식의 값은 서로 다른 l1, l2에 대하여 {x |-> l1, x |-> l2}가 되어야 하는데, 이래서는 올바른 function이 되지 않으므로 에러로 보는 것이 맞을 것 같다는 생각은 듭니다만, 어떤지 확인 부탁드립니다. |
문법 에러적인 측면도 있습니다만, 레코드의 필드가 두 개로 고정된 현재 정의에서는 쉽게 구현 가능한 부분이므로 그런 경우에 적절한 예외를 발생시키도록 합시다.
_________________
TheyAreAsSmartAsYouAre |
|
| 위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay |
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
