게시판 인덱스

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

숙제 1번 1 질문

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2015)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
진우정



가입: 2015년 9월 3일
올린 글: 8

올리기올려짐: 2015년9월14일 23:21    주제: 숙제 1번 1 질문 인용과 함께 답변

타입을 int list * int list -> int list 구하라고 하셨는데
'a list * 'a list -> 'a list 로 구현해도 상관없나요?

근데 궁금한게 'a list를 인자로 받는 함수를 int list를 인자로 받는 함수로 어떻게 바꾸나요?
필요 없는것 같지만 갑자기 궁금하네요
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기
최재승



가입: 2012년 9월 10일
올린 글: 211

올리기올려짐: 2015년9월15일 2:46    주제: 인용과 함께 답변

안녕하세요, 프로그래밍 언어 조교 최재승입니다

인용:
타입을 int list * int list -> int list 구하라고 하셨는데
'a list * 'a list -> 'a list 로 구현해도 상관없나요?

'a list * 'a list -> 'a list 로 구현하셔도, 정수 리스트의 페어를 받아 제대로 descending order의 정수 리스트를 내놓는다면 채점시에 에러가 발생하지는 않을 것입니다. 하지만 가급적이면 원칙을 따라 int list * int list -> int list 타입의 함수로 정의하시는 것을 권장드립니다.

인용:
'a list를 인자로 받는 함수를 int list를 인자로 받는 함수로 어떻게 바꾸나요?

'a list를 인자로 받는 함수를 정의하셨다면, 이미 정의된 함수의 타입은 변환할 수 없습니다. 다만 'a list를 인자로 받는 함수에 인자로 int list를 준다거나, 처음부터 함수가 int list를 인자로 받도록 선언하는 것은 가능합니다.
코드:
let list_len : int list -> int = fun lst -> List.length lst

와 같은 식으로 타입을 명시해서 정의하면 int list만 인자로 받는 함수가 될 것입니다.

조교 드림
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2015) 시간대: GMT + 9 시간(한국)
페이지 11

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


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