타입으로 견고하게 다형성으로 유연하게 > 프로그래밍/언어

타입으로 견고하게 다형성으로 유연하게



도서명:타입으로 견고하게 다형성으로 유연하게
저자/출판사:홍재민/인사이트
쪽수:392쪽
출판일:2023-10-18
ISBN:9788966264179

목차
추천사
시작하며

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 카인드

마치며
감사의 글
찾아보기