게시판 인덱스

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

7-1 질문입니다.

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



가입: 2012년 9월 15일
올린 글: 71

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

단순타입 추론에서 보면,
exp = VAR | CONST | APP | FUN | + | LET
정도에 대해서만 정의가 되어있는데, M.exp의 모든 형태에 대해서 모두 추론을 해야 하나요??

단순타입 유추는 이오타 라는 단일 타입을 이용해서 해야 할 것 같은데
(var 타입이 있긴 하지만 나중에 다시 iota | tau -> tau 로 환원되기때문에 상관없을것같구요)

Pair나 loc타입, bool타입, pair 타입을 반환하거나 이용하는 함수 등등은 어떻게 처리해야 하는지 궁금합니다.

어떻게 보면 심플타입 전반에 관한 질문인것도 같네요..
위로
사용자 정보 보기 비밀 메시지 보내기
강동옥



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

올리기올려짐: 2013년11월25일 9:19    주제: 인용과 함께 답변

예 맞습니다 모든 형태에 대해서 추론을 해야합니다.

단순타입 유추는 이오타라는 단일타입이 아닙니다.

이오타는 단지 Int타입 String 타입 Bool 타입등 primitive 타입을 뜻하는 것입니다.
즉 M에서는 서로다른 세개의 이오타가 있는 것입니다.

조합한 타입의 경우도
꼭 tau -> tau만 써야 심플타입인게 아니고 단지 타입을 조합한 예를 적은것 뿐입니다.
pair는 tau * tau를 쓰면 됩니다. loc는 l (tau)를 쓰면 됩니다.

즉 종합하면 단순타입시스템이라는 것은 타입을 어떻게 유추할까에 대한 일반적인 framework일뿐 어떤 특정 형식의 타입 구조로 제한하는게 아닙니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 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