게시판 인덱스

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

Simple Type 교과서 내용 질문입니다.

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



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

올리기올려짐: 2013년11월23일 2:06    주제: Simple Type 교과서 내용 질문입니다. 인용과 함께 답변

p.157의 타입 추론 규칙 type inference rule을 보면,
Gamma ㅏ E1 : tau1 -> tau2 GammaㅏE2:tau1
----------------------------------------------------------
Gamma ㅏ E1 E2 : tau2

는 맞는 rule인 것 같은데, 그 아래 +에 대해서도 위와 동일한 룰로 적혀있습니다.

Gamma ㅏ E1 : tau1 -> tau2 GammaㅏE2:tau1
----------------------------------------------------------
Gamma ㅏ E1 + E2 : tau2

그런데, + 같은 경우 operand 1 2와 결과 모두 동일한 타입으로 지켜져야 하는것이 아닌가 싶습니다. 아래처럼요.

Gamma ㅏ E1 : tau GammaㅏE2:tau
----------------------------------------------------------
Gamma ㅏ E1 + E2 : tau

Example 29를 직접 수동으로 했을 때 마지막 Lambda x.(x+1)의 x+1 부분에서 문제가 생기구요.
위로
사용자 정보 보기 비밀 메시지 보내기
강동옥



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

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

인용:
Gamma ㅏ E1 : tau GammaㅏE2:tau
----------------------------------------------------------
Gamma ㅏ E1 + E2 : tau


네 이게 맞습니다
위로
사용자 정보 보기 비밀 메시지 보내기
최지헌



가입: 2012년 9월 6일
올린 글: 35

올리기올려짐: 2013년12월12일 14:12    주제: 인용과 함께 답변

강동옥 씀:
인용:
Gamma ㅏ E1 : tau GammaㅏE2:tau
----------------------------------------------------------
Gamma ㅏ E1 + E2 : tau


네 이게 맞습니다


Gamma ㅏ E1 : n GammaㅏE2:n
----------------------------------------------------------
Gamma ㅏ E1 + E2 : n

이 되어야하지않나요?
위로
사용자 정보 보기 비밀 메시지 보내기
박준호



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

올리기올려짐: 2013년12월13일 4:55    주제: 인용과 함께 답변

그건 M에서 정의된 semantics에 대한 type definition이구요,

교과서에는 타우로 나와있어요 ㅋ
위로
사용자 정보 보기 비밀 메시지 보내기
최지헌



가입: 2012년 9월 6일
올린 글: 35

올리기올려짐: 2013년12월13일 15:35    주제: 인용과 함께 답변

음 제가 잘못 이해하고있는건지 ㅜㅜ
숙제 할때 + 오면 양쪽 operand랑 결과값 모두 iota(int)로 추론했는데
아래처럼 돼야 하는게 아닌가 해서요...

Gamma ㅏ E1 : iota GammaㅏE2: iota
----------------------------------------------------------
Gamma ㅏ E1 + E2 : iota
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 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