이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
정태호
가입: 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:(이오타)
와 같이 나와야 할 것 같은데요, 더하기 연산이 아니라면 저 부분이 어떤 것을 말하는지 설명을 부탁드립니다 |
|
위로 |
|
|
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2014년11월30일 9:52 주제: |
|
|
안녕하세요,
p.157에 나와있는 언급하신 타입 추론 규칙은 오탈자이며, 말씀하신 대로 아래와 같이 되는 것이 맞습니다.
- TA 드림 |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|