타입으로 견고하게 다형성으로 유연하게-탄탄한 개발을 위한 씨줄과 날줄-

“타입과 다형성 잘 배우고 잘 쓰는 법”

최근 몇 년간 프로그래밍 언어 세계를 살펴보면 타입 그리고 타입과 관련된 검사 기능이 강화되는 추세다. 그런데 한편으로는 이해하기 복잡하고 사용하기 까다롭다는 선입견 때문에 버그를 줄이고 프로그램을 탄탄하게 작성하는 데 유용한 이 기능을 선뜻 받아들이지 못하는 현실이다. 이와 같은 어려움을 극복하려면 타입의 밑바탕에 흐르는 공통 개념을 이해하고 효율적인 사용법을 익히는 것이 중요하다.

이 책에서는 어렵게 느껴지는 타입의 장점, 타입 사용 시 개발 과정상의 이점 등 타입을 공부해야 할 동기를 먼저 소개한다. 이어서 다형성이라는 개념을 중심으로 타입을 개발 과정에서 잘 활용하는 방법을 다룬다. 다형성을 이해함으로써 독자들은 어느 언어를 사용하든 타입을 사용해 소프트웨어를 능숙하게 만들 수 있게 될 것이다.

또 어려운 개념을 가능한 한 친숙하게 전달할 수 있도록 각 개념을 소개하기 전에 개발자들이 실제로 겪을 법한 상황을 우화 형식을 빌린 이야기로 시작하고 있다. 독자들은 각 이야기의 기발한 비유를 곱씹으며 자신의 상황에 각 개념을 어떻게 적용할지 고민, 실험해 보며 타입과 다형성을 체득할 수 있을 것이다.

이 책에서 배우는 내용

* 타입 검사와 추론

* 서브타입에 의한 다형성

* 매개변수에 의한 다형성

* 오버로딩에 의한 다형성 

홍재민

카이스트 전산학부 석박사 통합 과정 소속으로, 프로그래밍 언어 기술을 활용해 소프트웨어의 여러 문제를 해결하는 연구를 진행 중이다. 현재 주요 연구 주제는 C 코드를 올바르게 러스트로 자동 번역하는 것이다. 학부생 시절부터 타입에 관심을 가지고 연구를 진행했고, 포트리스라는 언어의 타입에 관해 쓴 논문이 프로그래밍 언어 분야 최고의 국제 학술 대회에 채택되기도 했다. 프로그래밍 언어 교과목 조교로 일하면서 만든 교재가 개발자 커뮤니티에서 화제가 된 것을 계기로, 타입의 유용함을 더 재미있게 풀어내고자 이 책을 쓰게 되었다.

추천사

시작하며

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

마치며

감사의 글

찾아보기