이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
최원태
가입: 2006년 9월 16일 올린 글: 369
|
올려짐: 2008년11월20일 18:52 주제: 타입체크 결과에 타입변수가 남아있는 경우의 처리 |
|
|
같은 프로그램의 경우 type checker를 돌리면
처럼 타입 변수가 남아있을 것입니다.
이번 simple type system 에서는 int로 바꿔서 리턴해주세요.
최원태 가 2008년12월15일 10:01에 수정함, 총 1 번 수정됨 |
|
위로 |
|
|
최원태
가입: 2006년 9월 16일 올린 글: 369
|
올려짐: 2008년11월20일 23:23 주제: |
|
|
다시 보니,
M-definition에 function만 있는 것은 프로그램이 아니라는 것이 나와있군요.
따라서 fn x -> x는 타입체커를 통과할 수 없습니다. |
|
위로 |
|
|
박남용
가입: 2008년 9월 17일 올린 글: 14
|
올려짐: 2008년11월21일 0:26 주제: |
|
|
음 그러면
위와 같은 경우에는 check 시에
TypeError를 발생시켜야 하는건가요? |
|
위로 |
|
|
최종식
가입: 2008년 9월 2일 올린 글: 40
|
올려짐: 2008년11월21일 10:23 주제: arrow |
|
|
타입체커에서 프로그램인지 아닌지를 체크해야 한다는 말인가요?
같은 코드의 경우
타입체커는 단지 충실하게 타입을
int -> int 인것을 체크 하는데서 끝나는게 아니라 프로그램 여부를 같이 체크해야 하는건가요;
개념적으로 뭔가 아쉽네요-_-; |
|
위로 |
|
|
최원태
가입: 2006년 9월 16일 올린 글: 369
|
올려짐: 2008년11월22일 14:08 주제: |
|
|
과제 정의에 의한 올바른 프로그램은 타입이 함수가 아닐 것입니다.
최종적인 타입체크 결과가 함수타입이 아닌것을 확인하면 되겠지요.
세미나 참석차 지방에 와 있어 답변이 늦는데 양해를 구합니다. |
|
위로 |
|
|
|