type safe (1) 썸네일형 리스트형 Type-Safe Code란? Compile Time에 object의 type이 매칭이 제대로 되었는지 확인할 수 있는 코드를 말한다.java의 Generic이 그 예가 된다.