Type-Safe Code란?

Compile Time에 object의 type이 매칭이 제대로 되었는지 확인할 수 있는 코드를 말한다.

java의 Generic이 그 예가 된다.