[현경렬]

[서성현]

[박대준]

수업시간에 어떤 분이 언급하신 내용같은데요.

그것을 타입에러라고 해도 아무런 문제는 없습니다.

타입체커가 sound 하기만 하면 되니까요.

단지, 타입체커를 좀 더 complete 하게 만들고 싶은 욕심일 뿐인데..

사실, nml 에서도 그건 타입에러라고 하더군요.


그러한 경우의 또 하나의 예로써,

if 문에서 then part 와 else part 의 타입이 달라도 실행중에 아무런 문제가 없는데, 타입이 다를때, sound 한 타입체커를 만드는 것은 꽤나 힘든일지이요.

이것도 nml 타입 체커는 지원하지 않더군요.

아무튼 저 같이 실력과 시간이 없는 사람들의 대부분은 방금 언급했던 상황을 타입에러로 판명하도록 타입체커를 구현한 것 같습니다.


글쓰신 분께서 실력이 좋으시거나 시간이 많으시면 그런 것들을 다 커버할 수 있는 타입체크를 만드는 것도 좋을 듯~^^


덧,

이것은 6-2 에서만 해당되는 이야기지, 6-1 에선 돌아가야 semantic 정의에 맞는듯 합니다.

[서성현]

[박대준]

답글을 올리고 나니, 님 말이 맞는 것 같아서.. 삭제했습니다. ^^

남들이 보면 무슨말인지 하겠네요. ㅋㅋ

[김진현]

사실 우리의 the `simple type system' 은 정말 빈약하긴 하지만,

빈약한 그대로 가는 것이 이번 숙제인 듯 합니다

(주어진 type(M) 의 type(nML) 정의를 보더라도)

아마 제대로 된 타입 시스템을 고안하는게, 추후의 숙제나 도전과제가 아닐까요?
_________________
The kingdom of heaven has been forcefully advancing, and forceful men lay hold of it.