게시판 인덱스

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

타입추론규칙에 대해 질문입니다.

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



가입: 2014년 9월 11일
올린 글: 17

올리기올려짐: 2014년11월29일 15:55    주제: 타입추론규칙에 대해 질문입니다. 인용과 함께 답변

교과서 p.157에는
E1+E2에 대한 추론규칙이

(감마)ㅏE1:t1->t2 (감마)ㅏE2:t1
-----------------------------------
(감마)ㅏE1+E2:t2

라고 나와있는데요, E1+E2가 제가 알고있는 "더하기"연산이 아닌가요?

만약 더하기 연산이라면

(감마)ㅏE1:t1->(이오타) (감마)ㅏ(이오타)
--------------------------------------------
(감마)ㅏE1+E2:(이오타)

와 같이 나와야 할 것 같은데요, 더하기 연산이 아니라면 저 부분이 어떤 것을 말하는지 설명을 부탁드립니다 Shocked
위로
사용자 정보 보기 비밀 메시지 보내기
강동옥



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

올리기올려짐: 2014년11월30일 9:52    주제: 인용과 함께 답변

안녕하세요,

p.157에 나와있는 언급하신 타입 추론 규칙은 오탈자이며, 말씀하신 대로 아래와 같이 되는 것이 맞습니다.



- TA 드림
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2014) 시간대: GMT + 9 시간(한국)
페이지 11

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


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