저자 홍재민
ISBN 978-89-6626-426-1
정가 17,600원
타입으로 견고하게 다형성으로 유연하게
단행본최근 몇 년간 프로그래밍 언어 세계를 살펴보면 타입 그리고 타입과 관련된 검사 기능이 강화되는 추세다. 그런데 한편으로는 이해하기 복잡하고 사용하기 까다롭다는 선입견 때문에 버그를 줄이고 프로그램을 탄탄하게 작성하는 데 유용한 이 기능을 선뜻 받아들이지 못하는 현실이다. 이와 같은 어려움을 극복하려면 타입의 밑바탕에 흐르는 공통 개념을 이해하고 효율적인 사용법을 익히는 것이 중요하다.
이 책에서는 어렵게 느껴지는 타입의 장점, 타입 사용 시 개발 과정상의 이점 등 타입을 공부해야 할 동기를 먼저 소개한다. 이어서 다형성이라는 개념을 중심으로 타입을 개발 과정에서 잘 활용하는 방법을 다룬다. 다형성을 이해함으로써 독자들은 어느 언어를 사용하든 타입을 사용해 소프트웨어를 능숙하게 만들 수 있게 될 것이다.
또 어려운 개념을 가능한 한 친숙하게 전달할 수 있도록 각 개념을 소개하기 전에 개발자들이 실제로 겪을 법한 상황을 우화 형식을 빌린 이야기로 시작하고 있다. 독자들은 각 이야기의 기발한 비유를 곱씹으며 자신의 상황에 각 개념을 어떻게 적용할지 고민, 실험해 보며 타입과 다형성을 체득할 수 있을 것이다.
지은이 | 홍재민
카이스트 전산학부 석박사 통합 과정 소속으로, 프로그래밍 언어 기술을 활용해 소프트웨어의 여러 문제를 해결하는 연구를 진행 중이다. 현재 주요 연구 주제는 C 코드를 올바르게 러스트로 자동 번역하는 것이다. 학부생 시절부터 타입에 관심을 가지고 연구를 진행했고, 포트리스라는 언어의 타입에 관해 쓴 논문이 프로그래밍 언어 분야 최고의 국제 학술 대회에 채택되기도 했다. 프로그래밍 언어 교과목 조교로 일하면서 만든 교재가 개발자 커뮤니티에서 화제가 된 것을 계기로, 타입의 유용함을 더 재미있게 풀어내고자 이 책을 쓰게 되었다.