| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
김슬기
가입: 2010년 9월 3일
올린 글: 9
|
 올려짐: 2010년10월3일 1:39 주제: 숙제3질문입니다. |
 |
|
1. Var(id)에서 id가 bind되지 않은 값이면
그 값은 Unit으로 처리해야 하나요?
아니면 error처리해야 하나요?
2. 주어진 semantics에서는 0으로 나누는 것에 대해 특별한 언급이 없습니다.
원래 ocaml에서 발생시키는 Division_by_zero를 그대로 넘기면 되나요?
아니면 따로 에러를 발생시켜줘야 하나요?
3.
module MEM의
| 코드: | exception Not_allocated
exception Not_initialized
|
와
module ENV의
가 발생할 상황에서 어떤 예외가 발생하는지 숙제 문서에서는 정의되어 있지 않습니다.
언제나 위와 같은 에러가 발생한다고 생각하고 코딩해도 됩니까?
4. read의 경우 I/O로 정수만 들어온다고 가정해도 됩니까?
아니면 그 외의 경우를 예외처리 해주어야 합니까? |
|
| 위로 |
|
 |
조성근
가입: 2009년 9월 14일
올린 글: 283
|
| 올려짐: 2010년10월3일 1:57 주제: Re: 숙제3질문입니다. |
|
|
| 김슬기 씀: | | 1. Var(id)에서 id가 bind되지 않은 값이면 |
Env.Not_bound 예외가 발생되도록 하시면 됩니다.
| 김슬기 씀: | 2. 주어진 semantics에서는 0으로 나누는 것에 대해 특별한 언급이 없습니다.
아니면 따로 에러를 발생시켜줘야 하나요? |
K.Error 예외를 발생시켜 주세요.
| 김슬기 씀: | 3. module MEM의
| 코드: | exception Not_allocated
exception Not_initialized
|
와
module ENV의
가 발생할 상황에서 어떤 예외가 발생하는지 숙제 문서에서는 정의되어 있지 않습니다.
언제나 위와 같은 에러가 발생한다고 생각하고 코딩해도 됩니까? |
위의 예외들은 Mem.replace, Mem,load에서 사용됩니다. 위의 예외들이 발생되는 상황에서는 그것들이 발생되도록 두시면 됩니다.
| 김슬기 씀: | 4. read의 경우 I/O로 정수만 들어온다고 가정해도 됩니까?
아니면 그 외의 경우를 예외처리 해주어야 합니까? |
정수만 들어온다고 가정하시면 됩니다. |
|
| 위로 |
|
|
김슬기
가입: 2010년 9월 3일
올린 글: 9
|
| 올려짐: 2010년10월3일 1:59 주제: 추가질문입니다. |
|
|
LETV
정의에서
l !∈ DomM'
가 어떤 조건인지 모르겠습니다. |
|
| 위로 |
|
|
조성근
가입: 2009년 9월 14일
올린 글: 283
|
| 올려짐: 2010년10월3일 2:15 주제: |
|
|
 이  의 정의역에 없는 새로운 주소임을 의미합니다. 을 얻기 위해서는 Mem.alloc을 이용하세요. |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
