이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
현경렬
가입: 2005년 9월 28일 올린 글: 19 위치: 스쿨
|
올려짐: 2005년11월21일 22:31 주제: 숙제 6-2(저지방M)에서 := (ASSIGN)의 타입체킹에 관하여 (6-1도 해당됨) |
|
|
의 상황을 타입 체커가 타입 오류라고 생각해야 하는지, 아니면
허용해야 되는지 잘 모르겠습니다.
다른 분들은 어떻게 생각하시나요?
(혹은 어느쪽이 구현하기 쉽나요)
추가.
6-2뿐만 아니라 6-1에서도 저런 문제가 생길 수 있군요. _________________ Programming Rumble |
|
위로 |
|
|
서성현
가입: 2005년 9월 29일 올린 글: 54
|
올려짐: 2005년11월21일 22:45 주제: Re: 숙제 6-2(저지방M)에서 := (ASSIGN)의 타입체킹에 관하여 (6-1도 해당됨) |
|
|
6-1의 인터프리터에서는 잘 도는 코드이지만
우리의 simple type system에서는 타입 오류가 나야 맞을듯..
2 : int
---------------------
malloc(2) : int loc true : bool
------------------------------------------
malloc(2) := true : NO SOLUTION - bool loc 타입이어야 하는데 int loc 타입입니다.
^^^^^^ _________________ http://snupl.wo.to
서성현 가 2005년11월21일 22:47에 수정함, 총 1 번 수정됨 |
|
위로 |
|
|
박대준
가입: 2005년 10월 7일 올린 글: 245
|
올려짐: 2005년11월21일 22:46 주제: |
|
|
수업시간에 어떤 분이 언급하신 내용같은데요.
그것을 타입에러라고 해도 아무런 문제는 없습니다.
타입체커가 sound 하기만 하면 되니까요.
단지, 타입체커를 좀 더 complete 하게 만들고 싶은 욕심일 뿐인데..
사실, nml 에서도 그건 타입에러라고 하더군요.
그러한 경우의 또 하나의 예로써,
if 문에서 then part 와 else part 의 타입이 달라도 실행중에 아무런 문제가 없는데, 타입이 다를때, sound 한 타입체커를 만드는 것은 꽤나 힘든일지이요.
이것도 nml 타입 체커는 지원하지 않더군요.
아무튼 저 같이 실력과 시간이 없는 사람들의 대부분은 방금 언급했던 상황을 타입에러로 판명하도록 타입체커를 구현한 것 같습니다.
글쓰신 분께서 실력이 좋으시거나 시간이 많으시면 그런 것들을 다 커버할 수 있는 타입체크를 만드는 것도 좋을 듯~^^
덧,
이것은 6-2 에서만 해당되는 이야기지, 6-1 에선 돌아가야 semantic 정의에 맞는듯 합니다. |
|
위로 |
|
|
서성현
가입: 2005년 9월 29일 올린 글: 54
|
올려짐: 2005년11월21일 22:54 주제: 음.. 제 말뜻은 |
|
|
인용: | 우리의 simple type system에서는 타입 오류가 나야 맞을듯.. |
말 그대로
'우리의 simple type system에서는' 타입 오류가 나야 맞을듯.. 하다는 이야기였습니다.
만약 저런 프로그램도 타입 오류 없이 통과시키는 타입 체커라면
simple type system이 아니겠지요.. ^^;
음..? 답글 올리는 사이에 글을 삭제하셨네요; _________________ http://snupl.wo.to |
|
위로 |
|
|
박대준
가입: 2005년 10월 7일 올린 글: 245
|
올려짐: 2005년11월21일 22:57 주제: |
|
|
답글을 올리고 나니, 님 말이 맞는 것 같아서.. 삭제했습니다. ^^
남들이 보면 무슨말인지 하겠네요. ㅋㅋ |
|
위로 |
|
|
김진현
가입: 2005년 9월 20일 올린 글: 91 위치: SNUCSE OPT. lab.
|
올려짐: 2005년11월21일 23:27 주제: |
|
|
사실 우리의 the `simple type system' 은 정말 빈약하긴 하지만,
빈약한 그대로 가는 것이 이번 숙제인 듯 합니다
(주어진 type(M) 의 type(nML) 정의를 보더라도)
아마 제대로 된 타입 시스템을 고안하는게, 추후의 숙제나 도전과제가 아닐까요? _________________ The kingdom of heaven has been forcefully advancing, and forceful men lay hold of it. |
|
위로 |
|
|
|