추천사시작하며1장 타입 검사 훑어보기1.1 타입 검사의 정의와 필요성1.2 정적 타입 언어1.3 타입 검사의 원리1.4 타입 검사 결과의 활용1.5 타입 추론1.6 더 세밀한 타입1.7 정적 타입 언어의 장단점1.8 다형성2장 서브타입에 의한 다형성2.1 객체와 서브타입2.2 집합론적 타입2.3 함수와 서브타입 3장 매개변수에 의한 다형성3.1 제네릭 함수3.2 제네릭 타입3.3 무엇이든 타입3.4 무엇인가 타입4장 두 다형성의 만남4.1 제네릭 클래스와 상속4.2 타입 매개변수 제한4.3 가변성5장 오버로딩에 의한 다형성5.1 오버로딩5.2 메서드 오버라이딩5.3 타입클래스5.4 카인드마치며감사의 글찾아보기