게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

2-3 질문입니다.

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2013)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김원재



가입: 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 를 만족하는지 확인만 가능하면 됩니다 Smile
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2013) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay