이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
박준호
가입: 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 |
|
위로 |
|
|
|