박준호
가입: 2012년 9월 15일 올린 글: 71
|
올려짐: 2013년11월24일 20:41 주제: 7-1 질문입니다. |
|
|
단순타입 추론에서 보면,
exp = VAR | CONST | APP | FUN | + | LET
정도에 대해서만 정의가 되어있는데, M.exp의 모든 형태에 대해서 모두 추론을 해야 하나요??
단순타입 유추는 이오타 라는 단일 타입을 이용해서 해야 할 것 같은데
(var 타입이 있긴 하지만 나중에 다시 iota | tau -> tau 로 환원되기때문에 상관없을것같구요)
Pair나 loc타입, bool타입, pair 타입을 반환하거나 이용하는 함수 등등은 어떻게 처리해야 하는지 궁금합니다.
어떻게 보면 심플타입 전반에 관한 질문인것도 같네요.. |
|