이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
로파스 Site Admin
가입: 2012년 9월 9일 올린 글: 280
|
올려짐: 2013년11월27일 4:18 주제: 7-1에서 eq관련 질문입니다. |
|
|
eq라는 익스프레션의 타입을 검사할때 이 오퍼레이션이
불끼리의 연산인지, 정수끼리의 연산인지, 문자열끼리의 연산인지 실행해보지 않고는
알수 없지 않나요? 즉 이오타가 한가지가 아니라 세가지이기 때문에
다형타입체킹을 도입하지 않고 심플타입체킹으로는 이 eq에 대해 검사를 할 수 있어
보이지 않습니다.. 제가 심플타입체킹에 대해 잘못이해하고있는건가요? |
|
위로 |
|
|
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2013년11월27일 9:47 주제: |
|
|
단순타입 시스템과 다형 타입시스템은 eq를 기준으로 결과가 달라지는게 아닙니다.
primitive가 여러개라는 이유로 무조건 단순타입 시스템이 동작하지 않는게 아닙니다.
primitive가 여러개라도 타입 유추를 제대로 해낼 수 있는 케이스들이 있습니다.
단순타입시스템으로 못한다고 하셨는데
쉽게
1+3 = 2의 type inference만 생각해 보아도
코드: | |-1:int |-3:int
|-1+3: int |- 2: int
|-1+3=2: int |
가 됩니다. 꼭 1+3이 4라는 것을 실행해보지 않아도 알 수 있습니다. |
|
위로 |
|
|
|