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

탄탄한 개발을 위한 씨줄과 날줄
$24.95
SKU
9788966264179
+ Wish
[Free shipping over $100]

Standard Shipping estimated by Tue 05/28 - Mon 06/3 (주문일로부 10-14 영업일)

Express Shipping estimated by Thu 05/23 - Mon 05/27 (주문일로부 7-9 영업일)

* 안내되는 배송 완료 예상일은 유통사/배송사의 상황에 따라 예고 없이 변동될 수 있습니다.
Publication Date 2023/10/18
Pages/Weight/Size 152*225*30mm
ISBN 9788966264179
Categories IT 모바일 > 프로그래밍 언어
Description
“타입과 다형성 잘 배우고 잘 쓰는 법”

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

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

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

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

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