단점: 인텔리전스가 여전히 오류인지 체크 못함.


장점: 프로그래머가 인텔리전스 정의 보고 이게 무슨 타입이여야 하는 지는 알 수 있다.