[로파스]

eq라는 익스프레션의 타입을 검사할때 이 오퍼레이션이

불끼리의 연산인지, 정수끼리의 연산인지, 문자열끼리의 연산인지 실행해보지 않고는

알수 없지 않나요? 즉 이오타가 한가지가 아니라 세가지이기 때문에

다형타입체킹을 도입하지 않고 심플타입체킹으로는 이 eq에 대해 검사를 할 수 있어

보이지 않습니다.. 제가 심플타입체킹에 대해 잘못이해하고있는건가요?

[강동옥]

단순타입 시스템과 다형 타입시스템은 eq를 기준으로 결과가 달라지는게 아닙니다.
primitive가 여러개라는 이유로 무조건 단순타입 시스템이 동작하지 않는게 아닙니다.
primitive가 여러개라도 타입 유추를 제대로 해낼 수 있는 케이스들이 있습니다.

단순타입시스템으로 못한다고 하셨는데

쉽게
1+3 = 2의 type inference만 생각해 보아도