게시판 인덱스

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

7-1 질문입니다.

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



가입: 2012년 12월 12일
올린 글: 14

올리기올려짐: 2013년11월22일 14:56    주제: 7-1 질문입니다. 인용과 함께 답변

교과서에 보면

Type τ → α
| ι | τ → τ

라고 되어있습니다. 이때 α는 TyVar 타입인데 m.ml의 정의에서 보면 이것이 포함되어 있지 않고 | ι | τ → τ만 포함되어 있습니다.

Type 타입에 α도 추가해서 구현해야 할 것 같은데 이러면 signature mismatch가 일어납니다. 어떻게 다른 것을 변화시키지 않고 α를 추가할 수 있나요?
위로
사용자 정보 보기 비밀 메시지 보내기
강동옥



가입: 2009년 9월 18일
올린 글: 602

올리기올려짐: 2013년11월22일 21:39    주제: 인용과 함께 답변

스스로 새로운 type 정의를 만들어서 활용하시면 됩니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 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