C++를 다룰 줄 알지만 아직 함수형 프로그래밍에 대한 개념이 생소하거나, 본인의 C++ 코드에 함수형 프로그래밍을 적용하고 싶은 개발자를 위한 책이다. 함수형 프로그래밍의 개념부터, 이를 기본으로 하는 파셜 애플리케이션이나 커링과 같은 여러 가지 연산자들의 개념과 활용법을 소개한다. 또한 함수형 프로그래밍에서 매우 중요한 불변성에 대해서도 다룬다.
20년 동안 소프트웨어 개발업계에서 주니어 프로그래머에서 테크니컬 리더와 소프트웨어 아키텍트를 거쳐 테크니컬 코치와 트레이너가 됐다. 작업 방식과 테스트 접근법과 코드 개선에 경험이 풍부하다. 『Usable Software Design』(2016)과 『Coderetreat』(2016)를 썼다.
1부. C++의 함수형 빌딩 블록1장. 함수형 프로그래밍 소개__기술적 요구사항__함수형 프로그래밍 소개__도처에 존재하는 함수형 프로그래밍의 구조 __구조화된 루프와 함수형 루프 비교__불변성__OOP와 함수형 디자인 스타일 비교__모듈 확장성과 중복 제거__요약__질문2장. 순수 함수 이해하기__기술적 요구사항__순수 함수란?__C++에서의 순수 함수____인자가 없는 순수 함수____하나 이상의 인자를 지닌 순수 함수__순수 함수와 불변성____불변성과 참조에 의한 전달____불변성과 포인터____불변성과 비클래스 함수____불변성과 출력 파라미터____정적 함수가 과연 정답일까?____정적 함수의 대안__순수 함수와 I/O__요약__질문3장. 람다 파헤치기__기술적 요구사항__람다란 무엇인가?__C++에서의 람다 ____변수 캡처____값에 의한 변수 캡처와 참조에 의한 변수 캡처____다수 값 캡처____포인터 값 캡처 __어떠한 캡처를 사용해야 할까?____람다와 순수 함수____람다 불변성과 값에 의한 인자 전달____람다 불변성과 참조에 의한 인자 전달____람다 불변성과 포인터 인자____람다와 I/O____람다 불변성과 값 캡처______참조에 의해 캡처한 값의 불변성______값에 의해 캡처한 포인터의 불변성______참조에 의해 캡처한 포인터의 불변성__람다와 클래스____데이터 멤버를 람다로 활용하기____정적 변수를 람다로 활용하기____정적 함수를 람다로 변환하기____람다와 커플링__요약__질문4장. 함수형 합성 아이디어__기술적 요구사항__함수형 합성이란?____함수형 합성 ____C++에서의 함수형 합성 구현____교환법칙이 성립하지 않는 함수형 합성__복합적 함수 합성____합성 함수 심층 구현____다수의 인자를 가진 함수 분해______곱의 결과 값 증가시키기______증가시킨 후 곱하기______함수의 합성과 분해에 대한 회고__함수형 합성을 활용한 중복 제거____incrementResultOfMultiplication 일반화____multiplyIncrementedValues 일반화__요약__질문5장. 파셜 애플리케이션과 커링__기술적 요구사항__파셜 애플리케이션과 커링____파셜 애플리케이션____C++에서의 파셜 애플리케이션____클래스 메서드에서의 파셜 애플리케이션____커링______커링이란?______커링과 파셜 애플리케이션______다수의 인자를 가진 함수의 커링__파셜 애플리케이션과 커링을 활용한 중복 제거__요약__질문2부. 함수로 설계하기6장. 함수형으로 사고하기 - 데이터 입력부터 데이터 출력까지__기술적 요구사항__입력 데이터가 함수에 들어와 출력 데이터로 나가기까지____명령형 스타일 vs 함수형 스타일 동작 예제____틱택토 결과____입력과 출력 ____출력 데이터____입력 데이터____데이터 변환 ____filledWithX를 위한 all_of 활용____map/transform 사용하기____transform 단순화하기____좌표____보드에서 줄 구하기 및 좌표 구하기____보드에서 줄 구하기____범위____열 구하기____대각선 구하기____모든 줄, 열, 대각선 구하기____any_of를 활용한 X 승리 확인하기____reduce/accumulate를 활용한 보드 표시하기____find_if를 활용한 승리 상세 내역 표시하기 ____솔루션 완성하기____○ 승리 확인하기____none_of를 활용한 무승부 확인하기____게임 진행 중 확인하기 ____옵셔널 타입을 활용한 에러 관리__요약7장. 함수형 연산자를 활용한 중복 제거__기술적 요구사항__함수형 연산자를 활용한 중복 제거____DRY 원칙____중복과 유사성____파셜 애플리케이션을 활용한 파라미터 유사성 정리하기____다른 함수의 출력으로 함수를 호출하는 유사성을 함수형 합성으로 대체하기____고차원 함수를 활용한 구조적 유사성 제거하기____고차원 함수를 활용해 숨은 루프 제거하기__요약8장. 클래스를 활용해 응집도 향상시키기__기술적 요구사항__클래스를 활용해 응집도 향상시키기 ____함수형 관점에서의 클래스__OOP와 함수형 동치____고응집성 원칙____응집 함수를 클래스로 묶기____클래스를 순수 함수로 쪼개기__요약9장. 함수형 프로그래밍의 테스트 주도 개발__기술적 요구사항__함수형 프로그래밍에서의 TDD____순수 함수를 위한 유닛 테스트____TDD 주기__예시 - TDD를 활용해 순수 함수 설계하기____포커 패 문제______요구사항______1단계 - 생각하기______예제______첫 번째 테스트______첫 번째 테스트 통과하기______리팩터링______다시 한 번 생각하기______더 많은 테스트______두 번째 테스트______테스트 통과하기 ______리팩터링______생각하기______다음 테스트 - 단순 스트레이트 플러시______테스트 통과하기 ______더 진행하기______isStraightFlush 구현하기______스트레이트 플러시 확인을 comparePokerHands와 연결하기______두 스트레이트 플러시 비교하기______생각하기______두 스트레이트 플러시 비교하기(계속)__요약3부. 함수형 프로그래밍의 장점 활용하기10장. 퍼포먼스 최적화__기술적 요구사항__퍼포먼스 최적화____퍼포먼스 전달 과정______측정치와 측정법을 포함한 퍼포먼스의 명확한 목표 정의하기______퍼포먼스용 몇 가지 코딩 가이드라인 정의하기와 코드의 특정 부분에 ______가이드라인을 명확히 유지하고 재단하기______코드가 동작하도록 만들기______필요한 곳을 측정해 퍼포먼스 향상시키기______모니터링 및 개선__병렬론 - 불변성의 장점 활용하기__메모이제이션____메모이제이션 구현하기____메모이제이션 활용하기__꼬리 재귀 최적화____완전 최적화한 호출____If와 삼항 연산자 비교____이중 재귀__비동기 코드를 통한 실행 시간 최적화하기____퓨처____함수형 비동기 코드____리액티브 프로그래밍 맛보기__메모리 사용 최적화하기____단순 루프 메모리 측정하기____인플레이스 transform의 메모리 측정하기____무브 반복자를 활용한 transform____솔루션 비교하기____불변형 데이터 구조__요약11장. 특성 기반 테스트__기술적 요구사항__특성 기반 테스트____예제 기반 테스트와 특성 기반 테스트 비교__생성기__테스트에 특성 넣기____00이 정의되지 않음이 되는 특성____0[1 . maxInt]이 0이 되는 특성 ____[1.maxInt]0이 1이 되는 특성 ____[0 . maxInt]의 어떤 값에 1제곱을 하면 그 값이 나오는 특성 ____특성: xy = xy-1 * x____결론__예제로부터 데이터 주도 테스트와 특성까지__좋은 특성, 나쁜 특성____구현에 관한 몇 가지 조언__요약12장. 순수 함수로 리팩터링하기와 순수 함수를 통한 리팩터링하__기술적 요구사항__순수 함수로 리팩터링하기와 순수 함수를 통한__리팩터링하기____리팩터링이란?____레거시 코드의 딜레마____종속성과 변경____순수 함수와 프로그램의 구조____컴파일러와 순수 함수를 활용한 종속성 식별____레거시 코드를 람다로 변환하기____람다 리팩터링하기____람다에서 클래스로 변환하기____리팩터링 메서드 요점__디자인 패턴____함수형 스타일 전략 패턴____함수형 스타일 명령 패턴____함수로 의존성 주입__순수 함수형 디자인 패턴____상태 유지하기____밝혀지는 진실____Maybe____그렇다면 모나드는 무엇인가?__요약13장. 불변성과 아키텍처 - 이벤트 소싱__기술적 요구사항__불변성과 아키텍처 - 이벤트 소싱__아키텍처에 불변성 적용하기____이벤트 소싱의 장점____이벤트 소싱의 단점과 함정______이벤트 스키마 변경______과거 데이터 삭제__구현 예제____데이터를 어떻게 가져올 것인가?____참조 무결성은 어떻게 해결하는가?__요약4부. C++의 함수형 프로그래밍의 현재와 미래14장. 범위 라이브러리를 활용한 게으른 평가__기술적 요구사항__범위 라이브러리 개괄__게으른 평가__범위 라이브러리를 활용한 게으른 평가__액션으로 변형 가능한 변경__무한 수열과 데이터 생성____문자열 생성하기__요약15장. STL의 현재와 미래__기술적 요구사항__functional 헤더__algorithm 헤더 ____컬렉션의 각 객체에서 특성 하나 꺼내오기____조건 계산하기____표시나 연속이 가능한 포맷으로 변환하기__numeric 헤더 - accumulate____쇼핑 카트에 세금이 포함된 총가격 계산하기____리스트를 JSON으로 변환하기__algorithm으로 돌아가기 - find_if와 copy_if__optional과 variant__C++ 20과 범위 라이브러리__요약16장. 표준 언어의 현재와 미래__기술적 요구사항__표준 언어의 현재와 미래____순수 함수____람다____파셜 애플리케이션과 커링____함수형 합성
