소득공제
PDF
eBook
타입으로 견고하게 다형성으로 유연하게
탄탄한 개발을 위한 씨줄과 날줄
스마트한 PDF 필기 기능을 사용해 보세요!
홍재민 저
인사이트(insight)
2023.11.07.
- PDF 안내
-
이 상품은 구매 후 지원 기기에서 예스24 eBook앱 설치 후 바로 이용 가능한 상품입니다.
소개
목차
|
추천사시작하며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 카인드마치며감사의 글찾아보기
|
저자 소개 1
카이스트 전산학부 석박사 통합 과정 소속으로, 프로그래밍 언어 기술을 활용해 소프트웨어의 여러 문제를 해결하는 연구를 진행 중이다. 현재 주요 연구 주제는 C 코드를 올바르게 러스트로 자동 번역하는 것이다. 학부생 시절부터 타입에 관심을 가지고 연구를 진행했고, 포트리스라는 언어의 타입에 관해 쓴 논문이 프로그래밍 언어 분야 최고의 국제 학술 대회에 채택되기도 했다. 프로그래밍 언어 교과목 조교로 일하면서 만든 교재가 개발자 커뮤니티에서 화제가 된 것을 계기로, 타입의 유용함을 더 재미있게 풀어내고자 이 책을 쓰게 되었다.
품목정보
- 발행일
- 2023년 11월 07일
- 지원기기
- 크레마, PC(윈도우 - 4K 모니터 미지원), 아이폰, 아이패드, 안드로이드폰, 안드로이드패드, 전자책단말기(저사양 기기 사용 불가), PC(Mac)
- 파일/용량
- PDF(DRM) | 13.14MB ?
- 글자 수/ 페이지 수
- 약 393쪽 ?
- ISBN13
- 9788966264261
출판사 리뷰
|
이 책에서 배우는 내용* 타입 검사와 추론* 서브타입에 의한 다형성* 매개변수에 의한 다형성* 오버로딩에 의한 다형성
|
