| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
김원재
가입: 2013년 9월 4일
올린 글: 8
|
 올려짐: 2013년9월21일 3:01 주제: 2-3 질문입니다. |
 |
|
구현해야 하는것이 무엇인지 정확히 이해가 가지 않는데요
IntListQ같이 Queue 타입을 만족시키는 모듈 하나만 만들면 되는건가요? |
|
| 위로 |
|
 |
최준원
가입: 2007년 3월 30일
올린 글: 149
|
| 올려짐: 2013년9월21일 11:41 주제: |
|
|
| 인용: | | IntListQ같이 Queue 타입을 만족시키는 모듈 하나만 만들면 되는건가요? |
이건 스펙 결정을 해야 하는 사항인데요,
이번 숙제에서는 숙제의 템플릿을 그대로 따라가는 IntListQ 모듈을 구현하는 것으로 하겠습니다.
숙제에는 module IntListQ 뒤에 Queue 타입인지를 확인하는 ": Queue" 가 없음에 유의해 주세요.
구현하신 IntListQ 가 Queue 타입인지를 확인하려면 아래 코드가 정상적으로 해석되는지 보면 됩니다.
제출하실때는 물론 아래 코드는 제거하셔야 하고요. (Queue signatrue 코드는 제출)
| 코드: | | module ValidIntListQ = (IntListQ: Queue) |
위의 코드를 통해 조교팀에서도 IntListQ 가 충실하게 구현되었는지 확인할 예정입니다.
(변경 스펙 게시물에 추가) |
|
| 위로 |
|
|
강기환
가입: 2013년 9월 10일
올린 글: 1
|
| 올려짐: 2013년9월21일 16:01 주제: |
|
|
| 최준원 씀: | 숙제에는 module IntListQ 뒤에 Queue 타입인지를 확인하는 ": Queue" 가 없음에 유의해 주세요.
|
이렇게 할 경우 IntListQ 모듈에 속한 함수들의 타입 명세가 queue, element가 아니라 'a 혹은 'a list 형태로 나타나는데 이 점은 문제되지 않나요? |
|
| 위로 |
|
|
최준원
가입: 2007년 3월 30일
올린 글: 149
|
| 올려짐: 2013년9월21일 16:56 주제: |
|
|
| 인용: | | IntListQ 모듈에 속한 함수들의 타입 명세가 queue, element가 아니라 'a 혹은 'a list 형태로 나타나는데 이 점은 문제되지 않나요? |
네, 문제되지 않습니다.
Queue type signature 를 만족하는지 확인만 가능하면 됩니다  |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
