| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
구본헌
가입: 2012년 9월 5일
올린 글: 15
|
 올려짐: 2012년9월20일 15:00 주제: 숙제 2_4 질문입니다. |
 |
|
작년 게시판을 보면
| 코드: |
module type Queue = ... (과제 문서에 있는 내용을 그대로)
module IntListQ : Queue with type element = int list =
struct
(* TODO *)
end
|
이 내용이 있는데, 똑같이 가는건가요?
with 의 효과에 대해서 자세히 설명해주시면 좋겠습니다. |
|
| 위로 |
|
 |
이승중
가입: 2010년 6월 22일
올린 글: 561
|
|
| 위로 |
|
|
이승중
가입: 2010년 6월 22일
올린 글: 561
|
| 올려짐: 2012년9월20일 16:51 주제: |
|
|
숙제에 나온 IntListQ는 Queue 시그니처를 명시하지 않았기때문에
Queue 타입을 만족시키는지는 확인할 수 없습니다.
모듈의 타입이 맞는지 확인하고 싶다면 다른 모듈을 만들 때 IntListQ를 Queue형식으로 넣어보면 됩니다.
| 코드: | | module ValidIntListQ = (IntListQ: Queue) |
|
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
