장바구니 담기 close

장바구니에 상품을 담았습니다.

장바구니로 계속쇼핑하기
Functional Programming in C++
미리보기

Functional Programming in C++

  • 이반추키츠
  • |
  • 에이콘출판
  • |
  • 2019-08-23 출간
  • |
  • 460페이지
  • |
  • 188 X 235 X 22 mm
  • |
  • ISBN 9791161753416
판매가

35,000원

즉시할인가

31,500 원

카드할인

0원(즉시할인 0%)

적립금

1,750원 적립(5%적립)

배송비

무료배송

(제주/도서산간 배송 추가비용:3,000원)

추가혜택

네이버페이 무조건 1%적립+ 추가 1%적립

추가상품
상품선택
독서대 7,900원 독서대 선택안함 0원
수량
+ -
총주문금액
31,500원
장바구니 구매하기

※ 스프링제본 상품은 반품/교환/환불이 불가능하므로 신중하게 선택하여 주시기 바랍니다.

북스크린영상으로 만나보는 한 권의 책 이야기

출판사서평




이 책은 C++ 프로그래밍 언어를 가르치기 위한 것이 아니며, 함수형 프로그래밍과 이를 C++에 적용하는 방식을 다룬다. 함수형 프로그래밍은 C++에서 흔히 사용되는 절차적, 객체지향 방식에 비해 소프트웨어 설계와 다른 방식의 프로그래밍에 대한 다른 사고방식을 제공한다.
일반적으로 C++이 객체지향 언어로 오인되기 때문에 이 책의 제목을 본 다수의 사람들은 이상하게 여길 수도 있다. C++는 객체지향 패러다임을 잘 지원하고, 그 이상이 가능하다. 또한 C++는 절차적 패러다임을 지원하며, 일반적 프로그래밍에 대한 C++의 지원은 여타 모든 언어를 보잘것없게 만든다. 그리고 대부분(전부는 아닐지라도)의 함수형 관용구를 꽤 잘 지원한다. 새로운 각 버전의 언어에는 C++에서 함수형 프로그래밍을 좀 더 용이하게 할 수 있는 도구가 추가됐다.

★ 이 책의 대상 독자 ★

이 책은 주로 전문적인 C++ 개발자를 대상으로 한다. 독자가 빌드 시스템을 설정하고 외부 라이브러리를 설치, 사용한 경험이 있다고 가정한다. 더불어 표준 템플릿 라이브러리, 템플릿, 템플릿 인수 추론, 뮤텍스 같은 동시성 프리미티브(primitives)에 대한 기본적 이해가 있어야 한다.
하지만 숙련된 C++ 개발자가 아니더라도 이 책을 이해할 수 있을 것이다. 각 장의 끝에 아직 익숙하지 않을 수 있는 C++ 기능을 설명하는 기사를 링크해뒀다.


★ 이 책의 구성 ★

각 장은 앞 장에서 숙지한 개념을 기본으로 하기 때문에 순차적으로 읽어야 한다. 개념의 난도는 후속 장에서 계속 높아지므로 후반 내용을 읽고 이해가 되지 않는다면 계속 진행하기보다 다시 읽는 편이 낫다. 단, 8장은 예외로, 지속성 자료 구조체 구현에 관한 방법에 관심이 없다면 읽지 않아도 된다.

이 책은 두 부분으로 나뉜다. 첫 부분은 함수형 프로그래밍 관용구와 이들 관용구가 C++에 적용되는 방법을 다룬다.
1장, ‘함수형 프로그래밍 소개’에서는 FP에 관한 간단한 소개와 FP가 C++에 미치는 이점을 설명한다.
2장, ‘함수형 프로그래밍 시작’에서는 다른 함수를 인수로 받거나 새로운 함수를 반환하는 함수인 고차원 함수(higher-order functions)를 설명한다. C++ 프로그래밍 언어의 표준 라이브러리에 있는 좀 더 유용한 몇 가지 고차원 함수를 사용해 고차원 함수의 개념을 보여준다.
3장, ‘함수 객체’에서는 C++가 함수 또는 함수 유사한 것(일반적인 C함수에서 함수 객체와 람다에 이르기까지)으로 간주하는 여타 모든 것을 다룬다.
4장, ‘새로운 함수 만들기’에서는 이전 함수로부터 새로운 함수를 생성하는 상이한 방법을 설명한다. 또한 std::bind와 람다를 사용하는 부분 함수 응용을 알아보고, 커링(currying)으로 불리는 함수를 살펴보는 다른 방식을 설명한다.
5장, ‘순수성: 가변 상태 회피’에서는 불변 데이터(immutable data, 절대로 변하지 않는 데이터)의 중요성을 다룬다. 또한 가변 상태를 가짐으로써 발생하는 문제와 변수 값을 변경하지 않고 프로그램을 구현하는 방법을 설명한다.
6장, ‘지연 평가’에서는 지연 평가(lazy evaluation)를 심도 있게 살펴본다. 또한 지연 평가가 문자열 연결과 같은 단순한 작업에서 동적 프로그래밍을 사용해 알고리즘 최적화하기에 이르기까지 최적화를 위해 사용할 수 있는 방법을 보여준다.
7장, ‘범위’에서는 가용성과 성능을 향상시키기 위해 표준 라이브러리 알고리즘에 채택한 범위를 설명한다.
8장, ‘함수형 자료 구조’에서는 수정될 때마다 이전 버전의 값을 보존하는 데이터 구조체인 불변 데이터 구조체를 설명한다.

이 책의 두 번째 부분은 주로 함수형 소프트웨어 설계와 관련된 고급 개념을 다룬다.
9장, ‘대수적 데이터 유형과 패턴 일치’에서는 sum 유형을 사용해 프로그램에서 유효하지 않은 상태를 제거하는 방법을 보여준다. 또한 상속과 std::variant를 사용해 sum 유형을 구현하는 방법을 살펴보고 오버로드(overloaded) 함수 객체를 생성해 sum 유형을 처리하는 방법을 설명한다.
10장, ‘모나드’에서는 일반적인 유형을 좀 더 쉽게 처리할 수 있고 벡터와 옵션(optional), 퓨처(futures) 같은 일반적인 유형에서 동작하는 함수를 작성할 수 있게 해주는 추상화 개념인 함수자(functors)와 모나드(monads)를 설명한다.
11장, ‘템플릿 메타프로그래밍’에서는 C++ 프로그래밍 언어로 FP에 유용한 템플릿 메타프로그래밍 기법을 설명한다. 또한 정적 내성 기법(static introspection techniques)과 호출 가능한 객체를 언급하고, 도메인 한정적인 언어를 생성하기 위해 C++에서 템플릿 메타프로그래밍을 사용하는 방법을 다룬다.
12장, ‘병행성 시스템을 위한 함수적 설계’에서는 이 책에서 배운 모든 것을 통합해 병행성 소프트웨어 시스템 설계에 기능적 접근법을 예를 들어 보여준다. 또한 반응형 소프트웨어 시스템 구축에 연속 모나드(continuation monad)를 사용하는 방법을 설명한다.
13장, ‘테스트와 디버깅’에서는 프로그램 테스트와 디버깅에 관한 기능적 접근 방법을 제시한다.

이 책을 보는 동안 제시된 모든 개념을 구현하고 동반된 코드 예제를 검토하기 바란다. 이 책에서 다룬 대부분의 기법은 C++ 이전 버전에서 사용할 수 있지만 이렇게 하려면 불필요한 코드를 작성해야 한다. 그래서 주로 C++14와 C++17에 집중했다.
예제는 독자 여러분이 작동하는 C++17 호환 컴파일러를 갖고 있다고 가정한다. GCC나 Clang 중의 하나를 사용할 수도 있다. 이들의 최신 배포 버전은 우리가 사용하고자 하는 C++17의 모든 기능을 지원한다. 모든 예제는 GCC 7.2와 Clang 5.0에서 테스트가 이뤄졌다.

[옮긴이의 말]

사람들은 누구나 자신에게 이미 익숙해져 있는 방식으로 문제에 접근하고 해결하려 한다. 프로그램 분야에서도 예외는 아닐 것이다. 이 책의 독자 여러분은 먼저 스스로에게 자문을 해봐야 한다. 나는 어떤 방식으로 문제에 접근하고 그 문제를 해결하기 위해 어떤 기법과 방식을 사용해 왔는지를 말이다.
함수형 프로그래밍 기법으로 작성된 프로그램은 결과를 얻기 위해 수행해야 하는 명령을 지정하기 보다는 결과가 무엇인지를 정의하는 점에서 결과를 계산하기 위해 수행해야 하는 각 단계를 익히 알고 있는 절차적 프로그래밍 기법과는 확연히 다르다. 또한 함수형 프로그래밍 기법은 함수에 대한 추상화를 만든다는 점에서 데이터를 추상화할 수 있는 객체지향 프로그램 기법과 다르다.
이 책은 이미 C++를 숙지한 독자를 대상으로 하며, 함수형 프로그래밍이 무엇인지를 파악하고 이것이 C++에 적용되는 방식을 다룬다. 함수형 프로그래밍은 C++에서 흔히 사용되는 절차적, 객체지향 방식에 비해 소프트웨어 설계와 다른 방식의 프로그래밍에 대한 다른 사고방식을 제공한다.
이 책을 모두 읽었다면 독자 여러분은 C++에서 지원하는 다양한 함수형 프로그래밍 기법을 통해 최신 앱의 요구 사항을 쉽게 해결하고 복잡한 프로그램 논리를 단순하게 표현할 수 있으며, 우아한 오류 처리와 효율적인 병행성을 다룰 수 있을 것이다. 또한 함수형 프로그래밍 기법을 사용해 C++ 프로그램을 고급화하는 방법을 익힐 수 있을 것이다.


목차


1장. 함수형 프로그래밍 소개

1.1 함수형 프로그래밍이란 무엇인가?
1.1.1 객체지향 프로그래밍과의 관계
1.1.2 명령형 프로그래밍과 선언형 프로그래밍의 구체적인 예제
1.2 순수 함수
1.2.1 변경 가능한 상태 회피
1.3 함수적으로 사고
1.4 함수형 프로그래밍의 이점
1.4.1 코드 간결성과 가독성
1.4.2 병행성과 동기화
1.4.3 지속적 최적화
1.5 함수형 프로그래밍 언어로서 C++의 진화
1.6 이 책에서 배우는 내용
요약

2장. 함수형 프로그래밍 시작

2.1 함수가 함수를 취한다?
2.2 STL 예제
2.2.1 평균 점수 계산
2.2.2 폴딩
2.2.3 문자열 자르기
2.2.4 조건자에 기반을 두고 컬렉션 분할
2.2.5 필터링과 변환
2.3 STL 알고리즘의 구성 가능성 문제
2.4 자체적인 고차원 함수 작성
2.4.1 함수를 인수로 받기
2.4.2 루프로 구현
2.4.3 재귀와 꼬리 호출 최적화
2.4.4 폴딩을 사용해 구현
요약

3장. 함수 객체

3.1 함수와 함수 객체
3.1.1 자동 반환 형식 추론
3.1.2 함수 포인터
3.1.3 호출 연산자 오버로딩
3.1.4 일반 함수 객체 만들기
3.2 람다와 클로저
3.2.1 람다 구문
3.2.2 람다의 이면
3.2.3 람다에서 임의의 멤버 변수 생성
3.2.4 일반 람다
3.3 함수 객체 작성
3.3.1 STL에서 연산자 함수 객체
3.3.2 다른 라이브러리의 연산자 함수 객체
3.4 std::function 가진 래핑 함수 객체
요약

4장. 새로운 함수 만들기

4.1 부분 함수 애플리케이션
4.1.1 이함 함수를 단항 함수로 변환하는 일반적 방법
4.1.2 std::bind를 사용해 값을 특정 함수 인수에 바인딩
4.1.3 이항 함수의 인수 순서를 뒤집기
4.1.4 더 많은 인수를 가진 함수에 std::bind 사용
4.1.5 std::bind 대안으로 람다 사용
4.2 커링: 함수를 바라보는 다른 방식
4.2.1 커리 함수를 더 쉽게 만들기
4.2.2 데이터베이스 접근에 커리 사용
4.2.3 커리와 부분 함수 애플리케이션
4.3 함수 합성
4.4 함수 필터 다시 살펴보기
4.4.1 일련의 쌍을 뒤집기
요약

5장. 순수성: 가변 상태 회피

5.1 가변 상태의 문제
5.2 순수 함수와 참조 투명성
5.3 부작용이 없는 프로그래밍
5.4 병행 환경에서의 가변과 불변 상태
5.5 const화의 중요성
5.5.1 논리적 상수성과 내부 상수성
5.5.2 임시 값에 대한 멤버 함수 최적화
5.5.3 const 주의 사항
요약

6장. 지연 평가

6.1 C++에서의 지연
6.2 최적화 기법으로서의 지연
6.2.1 컬렉션을 지연해 정렬
6.2.2 사용자 인터페이스의 항목 뷰
6.2.3 함수 결과 캐싱에 의한 재귀 트리 프루닝
6.2.4 지연 형태의 동적 프로그래밍
6.3 일반화된 메모이제이션
6.4 식 템플릿과 지연 문자열 연결
6.4.1 순수성과 식 템플릿
요약

7장. 범위

7.1 범위 소개
7.2 데이터에 대한 읽기 전용 뷰 만들기
7.2.1 범위 용도의 filter 함수
7.2.2 범위 용도의 transform 함수
7.2.3 범위 값의 지연 평가
7.3 범위를 통한 값 변경
7.4 제한 범위와 무한 범위의 사용
7.4.1 입력 범위 처리 최적화에 제한 범위 사용
7.4.2 센티넬로 무한 범위 만들기
7.5 단어 빈도 계산에 범위 사용
요약

8장. 함수형 자료 구조

8.1 불변 연결 리스트
8.1.1 리스트의 시작 부분에 요소 추가와 삭제
8.1.2 리스트의 끝 부분에 요소 추가와 삭제
8.1.3 리스트의 중앙 부분에서 요소 추가와 삭제
8.1.4 메모리 관리
8.2 벡터 유사 가변 자료 구조
8.2.1 비트맵 벡터 트라이에서의 항목 조회
8.2.2 비트맵 벡터 트라이에 항목 추가
8.2.3 비트맵 벡터 트라이의 항목 갱신
8.2.4 비트맵 벡터 트라이의 끝에서 항목 제거
8.2.5 기타 동작과 비트맵 트라이의 전반적인 효율성
요약

9장. 대수적 데이터 유형과 패턴 일치

9.1 대수적 데이터 유형
9.1.1 상속을 통한 합 유형
9.1.2 공용체와 std::variant를 통한 합 유형
9.1.3 특정 상태 구현
9.1.4 특수한 합 유형: 옵션 값
9.1.5 오류 처리를 위한 합 유형
9.2 대수적 데이터 유형으로 도메인 모델링
9.2.1 단순 접근법과 단점
9.2.2 좀 더 세련된 접근법: 하향식 설계
9.3 패턴 매칭에서 대수적 데이터 유형의 향상된 처리
9.4 Mach7 라이브러리를 이용한 강력한 패턴 매칭
요약

10장. 모나드

10.1 예전의 함수자가 아니다
10.1.1 옵션 값 처리
10.2 모나드: 함수자에게 더 많은 능력을
10.3 기본 예제
10.4 범위와 모나드의 내포
10.5 오류 처리
10.5.1 모나드로 std::optional
10.5.2 모나드로 expected
10.5.3 try 모나드
10.6 모나드로 상태 처리
10.7 병행성과 연속 모나드
10.7.1 모나드로서의 퓨처
10.7.2 퓨처 구현
10.8 모나드 결합
요약

11장. 템플릿 메타프로그래밍

11.1 컴파일 시점에 유형 조작
11.1.1 추론된 유형 디버깅
11.1.2 컴파일 동안의 패턴 일치
11.1.3 유형에 관한 메타정보 제공
11.2 컴파일 시점에 유형 속성 검사
11.3 커리 함수 만들기
11.3.1 모든 호출 가능한 것을 호출
11.4 DSL 구축 블록
요약

12장. 병행성 시스템을 위한 함수적 설계

12.1 액터 모델: 구성 요소로 사고
12.2 간단한 메시지 소스 만들기
12.3 반응형 스트림을 모나드로 모델링
12.3.1 메시지를 받기 위한 싱크 만들기
12.3.2 반응형 스트림 변환
12.3.3 주어진 값에 대해 스트림 만들기
12.3.4 스트림의 스트림을 조인
12.4 반응형 스트림 필터링
12.5 반응형 스트림에서의 오류 처리
12.6 클라이언트에 응답
12.7 가변 상태로 액터 만들기
12.8 액터로 분산 시스템 작성
요약

13장. 테스트와 디버깅

13.1 컴파일하는 프로그램이 올바른가?
13.2 단위 테스트와 순수 함수
13.3 테스트 자동 생성
13.3.1 테스트 사례 만들기
13.3.2 속성 기반의 테스트
13.3.3 비교 테스트
13.4 모나드 기반의 병행성 시스템 테스트
요약
추천포스트

교환 및 환불안내

도서교환 및 환불
  • ㆍ배송기간은 평일 기준 1~3일 정도 소요됩니다.(스프링 분철은 1일 정도 시간이 더 소요됩니다.)
  • ㆍ상품불량 및 오배송등의 이유로 반품하실 경우, 반품배송비는 무료입니다.
  • ㆍ고객님의 변심에 의한 반품,환불,교환시 택배비는 본인 부담입니다.
  • ㆍ상담원과의 상담없이 교환 및 반품으로 반송된 물품은 책임지지 않습니다.
  • ㆍ이미 발송된 상품의 취소 및 반품, 교환요청시 배송비가 발생할 수 있습니다.
  • ㆍ반품신청시 반송된 상품의 수령후 환불처리됩니다.(카드사 사정에 따라 카드취소는 시일이 3~5일이 소요될 수 있습니다.)
  • ㆍ주문하신 상품의 반품,교환은 상품수령일로 부터 7일이내에 신청하실 수 있습니다.
  • ㆍ상품이 훼손된 경우 반품 및 교환,환불이 불가능합니다.
  • ㆍ반품/교환시 고객님 귀책사유로 인해 수거가 지연될 경우에는 반품이 제한될 수 있습니다.
  • ㆍ스프링제본 상품은 교환 및 환불이 불가능 합니다.
  • ㆍ군부대(사서함) 및 해외배송은 불가능합니다.
  • ㆍ오후 3시 이후 상담원과 통화되지 않은 취소건에 대해서는 고객 반품비용이 발생할 수 있습니다.
반품안내
  • 마이페이지 > 나의상담 > 1 : 1 문의하기 게시판 또는 고객센터 1800-7327
교환/반품주소
  • 경기도 파주시 문발로 211 1층 / (주)북채널 / 전화 : 1800-7327
  • 택배안내 : CJ대한통운(1588-1255)
  • 고객님 변심으로 인한 교환 또는 반품시 왕복 배송비 5,000원을 부담하셔야 하며, 제품 불량 또는 오 배송시에는 전액을 당사에서부담 합니다.