이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
최지헌
가입: 2012년 9월 6일 올린 글: 35
|
올려짐: 2013년12월13일 19:45 주제: 교과서 simple type 157페이지 질문입니다 |
|
|
교과서 157페이지에 보면 +에 대한 추론 규칙으로
이렇게 나와있는데요 아래 글에도 있듯이 오타라고 말씀하셨고
가 되어야 한다고 말씀하셨는데요
그런데 이렇게 돼야하지 않나요? ㅜㅜ 제가 이상하게 생각하고있는건지..
그냥 타우라고 돼있으면 함수타입이 올수도 있을거 같아서 이오타가 되어야 할 거 같아서요
+를 더하기가 아니고 그냥 같은 타입 인자 2개 받아서 같은 타입 반환하는 함수라고 생각하면 타우가 돼도 될거 같긴 한데
프로그램 실행 규칙에 +가 이렇게 나와있고
(교재에 보면 왼쪽 +랑 오른쪽 +가 약간 다른데 다르게 쓰는 법을 몰라서 하나는 라고 썼습니다.. 오른쪽 +는 정수끼리 더하는 일반적인 +기호 같습니다)
교재에도 E는 M1의 코어만 생각한 프로그램의 식이라고 되어있고 M1에서는 +가 이렇게 돼있어서요
숙제에서도 +가 오면 operand랑 결과값 모두 정수로 추론했었구요..
사실 챌린지 1번 푸는중인데 교재 저 부분이 이오타가 아니라 타우가 되면 어떻게 돼야 하는지 이해가 잘 안갑니다... ㅠㅠ |
|
위로 |
|
|
최준원
가입: 2007년 3월 30일 올린 글: 149
|
올려짐: 2013년12월16일 10:58 주제: |
|
|
인용: | 그런데 이렇게 돼야하지 않나요? ㅜㅜ 제가 이상하게 생각하고있는건지..
그냥 타우라고 돼있으면 함수타입이 올수도 있을거 같아서 이오타가 되어야 할 거 같아서요 |
말씀하신 내용이 옳은 것으로 보입니다.
이 타입 시스템이 sound 하기 위해서는 말씀해 주신대로 이오타로 추론하는 것이 맞습니다. |
|
위로 |
|
|
|