게시판 인덱스

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

HW 6 타입 질문합니다.

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.210 Principles of Programming (Fall 2014)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
강규



가입: 2014년 9월 4일
올린 글: 3

올리기올려짐: 2014년11월18일 1:31    주제: HW 6 타입 질문합니다. 인용과 함께 답변

HW6 PDF 파일에서... HW 6_3과 HW 6_7을 보면 구현해야하는 함수의 타입이 다음과 같이 서술되어있습니다.

(HW 6_3)
drop: tourna * team -> string

(HW 6_7)
crazy2add : Crazy-2 ∗ Crazy-2 → Crazy-2.

* 기호는 Ocaml에서 (a, b)의 pair(or tuple)로 사용되는데, 뼈대코드에서 두 함수의 선언 부분을 보면 두 함수 모두 parameter들이 pair로 되어있지 않고 단순히 나열하는 방법으로 되어있네요.
(hw6_7 뼈대코드 : let rec crazy2add (a: crazy2) (b: crazy2): crazy2 = ~)

이렇게 뼈대코드에 정의되어 있다보니 ocaml toplevel에서 실행해보면
drop: tourna -> team -> string
crazy2add : Crazy-2 -> Crazy-2 -> Crazy-2
와 같이 출력됩니다.

결론적으로, pdf 파일의 * 기호를 ocaml pair(or tuple)의 의미로 받아들여야 할까요? 아니면 Racket 숙제에서 해왔던 것처럼 parameter들의 일반적인 나열로 받아들여야 할까요?
받아들이는 의미에 따라서 함수 선언부의 모양이 달라질 것 같네요..

감사합니다^^
위로
사용자 정보 보기 비밀 메시지 보내기
김윤승



가입: 2014년 9월 1일
올린 글: 452
위치: 302동 312-2호

올리기올려짐: 2014년11월18일 12:45    주제: 인용과 함께 답변

뼈대코드를 따라서 해주세요.

아래 함수와 같이 굳이 문제 설명 따라 정확하게 pair로 만드는 게 의미 없는 경우에는 뼈대코드와 같은 타입으로 하는 게 더 간결하므로 뼈대코드를 따라서 해주시면 됩니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.210 Principles of Programming (Fall 2014) 시간대: GMT + 9 시간(한국)
페이지 11

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


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