게시판 인덱스

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

타입에 관해서 질문 있습니다

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



가입: 2011년 3월 9일
올린 글: 8
올리기올려짐: 2011년3월14일 16:24    주제: 타입에 관해서 질문 있습니다 인용과 함께 답변
밑에 sigma 형식에 대해서

sigma: int * int * (int -> int) -> int 인데

sigma: int -> int -> (int -> int) -> int 로 나온다고 했는데

->과 *의 차이를 알려주실수 있을까요?
위로
사용자 정보 보기 비밀 메시지 보내기
김진영_



가입: 2009년 12월 9일
올린 글: 337
올리기올려짐: 2011년3월14일 17:26    주제: 인용과 함께 답변
말씀하신 문제로 예를 들어 보겠습니다.

코드:
let sigma1 (a, b, f) = (* body *)


이 함수는 인자로 하나의 튜플(순서쌍)을 받는 함수입니다.
따라서 sigma1의 타입은 int * int * (int -> int) -> int가 되겠죠.


반면,

코드:
let sigma2 a b f = (* body *)


이 함수는 고차 함수입니다. 인자를 여러 개 받습니다.
따라서 sigma2의 타입은 int -> int -> (int -> int) -> int가 되겠죠.



숙제는 반드시 문제에 명시된 타입에 맞게 작성해 주셔야 합니다. 이 점 주의해서 지켜 주세요.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2011) 시간대: GMT + 9 시간(한국)
페이지 1 중 1

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


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