스크랩

구간

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

홍재민 저 | 인사이트 | 2023년 10월

베스트셀러

북트리

정가
$44.00
판매가
$32.08 (27%↓) 최저가 보상
적립금
$0.64 (2%P)
출고예상일
2026년 10월 09일 수령예상일 안내
북카트 담기 바로구매하기 위시리스트담기

평점 -  ·  리뷰 0

리뷰 쓰기

ISBN : 9788966264179 / 392쪽 / 510g / 152 x 225 (㎜)

이 상품에 궁금하신점이 있으세요? 1:1상담문의

추천inside
Adobe Flash Player 가져오기

이 분야의 베스트셀러

아래의 도서와 구매하시면 이 도서들의 적립금을 즉시적용해 드립니다.

책 소개

출판사 리뷰

이 책에서 배우는 내용 * 타입 검사와 추론 * 서브타입에 의한 다형성 * 매개변수에 의한 다형성 * 오버로딩에 의한 다형성

저자 소개

  • 저자 : 홍재민
저자 : 홍재민
카이스트 전산학부 석박사 통합 과정 소속으로, 프로그래밍 언어 기술을 활용해 소프트웨어의 여러 문제를 해결하는 연구를 진행 중이다. 현재 주요 연구 주제는 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 카인드

마치며
감사의 글
찾아보기

top