추가 적립 안내

함수형 프로그래밍을 들어본 개발자는 많지만 제대로 된 함수형 프로그래밍을 배우기 위해 하스켈이나 스칼라까지 배울 여유가 없는 독자도 많을 것이다. 이 책은 정석적인 함수형 프로그래밍 책이지만 코틀린을 사용하기 때문에 더 쉽게 함수형 프로그래밍에 접근하고 싶은 독자들에게 도움이 된다. 함수형 프로그래밍을 자신의 개발에 적용하고 싶은 개발자나, 함수형 패러다임을 익혀서 새로운 사고 방식을 익히고 직간접적으로 그 지식을 활용하고 싶은 개발자들이 연습문제를 풀어가면서 점차 함수형 프로그래밍 지식을 쌓아 나갈 수 있게 해준다.

◈ 이 책에서 다루는 내용 ◈
◆ 실제 상황에서 활용할 수 있는 함수형 프로그래밍 기법
◆ 함수형 설계를 할 때 유용한 공통 구조와 숙어들
◆ 단순성, 모듈성, 버그 감소!

◈ 이 책의 대상 독자 ◈
코틀린 언어 자체와 코틀린 언어의 기능을 이미 충분히 이해한 사람을 대상으로 한다. 또한 객체지향 설계에 익숙하고 클래스, 인터페이스, 메서드, 변수를 잘 알아야 하지만, 함수형 프로그래밍에 대한 선수 지식이나 경험은 필요하지 않다.
일차적으로는 학문적인 책이지만 한편으로는 매우 실무적인 책이기도 하다. 전반에 걸쳐 여러 코드 예제를 살펴보고, 배우는 과정을 강화해주는 연습문제를 다수 제공한다. 그러므로 인텔리제이(IntelliJ) IDEA나 코틀린을 완전히 지원하는 비슷한 다른 IDE를 잘 이해하고 있어야 한다. IDE 대신 텍스트 편집기나 터미널을 사용하는 게 더 익숙하다면 그 또한 상관없다.


◈ 이 책의 구성 ◈
4개 부, 총 15개 장으로 이뤄져 있다. 1부에서는 함수형 프로그래밍을 소개하고 이 책 전반에 걸쳐 사용할 기본적인 빌딩 블록을 제공한다.
1장은 함수형 프로그래밍의 의미를 설명하고 함수형 프로그래밍의 이점에 대해 감을 잡도록 해준다.
2장은 재귀로 함수형 루프를 작성하는 방법이나 꼬리 호출 제거(tail-call elimination), 고차 함수(high-order function), 함수형 다형성(polymorphism) 같은 기본기를 알려준다.
3장은 리스트(list)와 트리(tree)라는 두 가지 컬렉션을 순수 함수형으로 정의하고 다루는 방법을 설명한다.
4장은 예외를 던지지 않고 효과적으로 오류를 처리하는 방법을 깊이 살펴본다.
5장은 효율적인 평가를 위한 비엄격성(non-strictness(지연성laziness이라고도 한다))에 대해 논의하고, 스트림 데이터 타입도 소개한다.
6장은 전이(transition)라고도 하는 상태 변이 동작(state mutation action)을 함수형 프로그램에서 다루는 방법을 알려주면서 1부를 마무리한다.
2부는 몇 가지 콤비네이터(combinator) 라이브러리를 설계하는 과정을 아주 느슨하게 설명하는 스타일로 돼 있다는 점에서 1부와 꽤 다르다.
7장은 비동기 병렬 처리(asynchronous parallel processing)를 위한 함수형 라이브러리를 설계하고 구축하는 방법을 보여준다.
8장은 난수화한 테스트를 위한 속성 기반 테스트(property-based test) 라이브러리를 설계하는 방법을 보여준다.
9장은 파싱(parsing) 영역으로 들어가서 JSON 파서 콤비네이터 라이브러리의 우아한 설계를 도출하는 방법을 보여준다.
3부에서는 타입 지정 함수형 프로그래밍에 속한 더 고급 주제인 타입 클래스(type class)를 살펴본다. 실제 상황에서 사용하는 몇 가지 설계 패턴 추상화를 다루고 여러분이 이런 추상화를 사용할 수 있도록 준비시킨다.
10장은 여러 값을 조합할 때 쓸 수 있는 추상화인 모노이드(monoid)를 다룬다.
11장은 악명 높은 모나드(monad)를 샅샅이 다루고 예제를 사용해 명확히 설명한다.
12장은 적용 가능 펑터(applicative functor)와 순회 가능 펑터(traversable functor)를 설명하면서 적용 가능(applicative)의 요건이 무엇인지 소개하고 모나드와 적용 가능의 차이를 보여준다.
마지막 4부에서는 앞서 배운 내용을 바탕으로 순수 함수형 코드에서 부수 효과를 다룬다.
13장은 임베디드된 명령형 DSL을 사용해 효과가 있는 코드의 표현을 단순화하는 방법을 보여주기 위해 I/O 모나드(프리 모나드)를 소개한다.
14장은 특정 부수 효과와 변이를 순수 함수 프로그램 안에 지역화하는(밖으로 노출시킬 수 없게 막으면서 내포시키는) 방법을 알려준다.
15장은 지금껏 배운 모든 내용을 집대성해, I/O 스트림을 점진적으로 처리할 수 있는 모듈화 가능하며 합성 가능한 프로그램을 위한 스트림 API를 개발한다.

◈ 지은이의 말 ◈
좋은 소프트웨어를 작성하는 것은 결코 쉽지 않은 일이다. 우리는 기계가 실행할 수 있는 쉽고 효율적으로 돌아가야만 하는 명령을 제공하고자 코드를 작성한다. 여기서 더 중요한 사실은 코드에는 다른 근본적인 목적이 있다는 점이다. 즉, 코드는 현재와 미래에 우리 코드와 상호작용할 사람들과 명확히 의사소통하기 위한 수단이라고 할 수 있다. 따라서 코드는 기계에 명령을 내리는 도구라는 역할을 초월해, 여러 사람이 협력해 기계에 명령을 내리기 위한 도구가 되고 있다.
나는 상대적으로 어릴 때부터 코딩을 해왔다. ZX 스펙트럼(ZX Spectrum)에서 베이직(BASIC) 코드를 작성을 시작으로, 이후 코모도어 64(Commodore 64)에서 기계어 코드를 작성했다. 오랫동안 이런저런 컴퓨터와 언어를 전전한 끝에 결국 열정적인 자바 개발자가 됐다. 그 시점까지 내가 배워왔던 프로그래밍 지식은 모두 프로시저 기반이었으며, 컴퓨터에게 할 일을 지시하는 명령어 단계를 나열한 것이었다. 2000년대 초 자바가 제시한 객체지향 개념은 나를 아주 놀라게 했다. 이제 컴퓨터 메모리상에서 객체를 통해 실제 세계의 개념을 모델링할 수 있게 됐기 때문이다! 또한 자바를 통해 컴파일 시점에 특정 규칙을 강제함으로써 실행 시점의 문제를 줄여주는 정적 타입 시스템의 가치도 배웠다.
시간이 지나면서 소프트웨어에 대해 생각하는 다른 방식을 발견했다. 이런 깨달음은 다른 정적 타입 언어인 스칼라로 프로그래밍을 시작하면서 내 안에 자리 잡기 시작했다. 함수형 프로그래밍은 완전히 새로운 패러다임으로, 내 마음은 클래스와 객체에 대해 생각하는 것에서 벗어나 클래스나 객체 안에 있는 함수와 메서드를 강조하는 것으로 이동했다. 운 좋게도 스칼라를 배울 때는 내게 몇 가지 환상적인 자료가 있었다. 첫 번째는 코세라(Coursera)에 있는 마틴 오더스키(Martin Odersky)의 훌륭한 ‘Functional Programming Principles in Scala(스칼라로 배우는 함수형 프로그래밍 원리)’라는 비디오 코스였다. 두 번째는 2014년에 출간된 『스칼라로 배우는 함수형 프로그래밍』(제이펍, 2015))였다. ‘빨간 책’으로 잘 알려진 이 책은 루나르 비아르드나손(Runar Bjarnason)과 폴 치우사노(Paul Chiusano)가 수년간 자신들의 경험과 노력을 쏟아부은 결과물이었다. 이 두 가지는 내 생각을 형성하는 데 크게 기여했으며, 오늘날 내가 프로그래밍을 인식하는 방식을 바꿔놨다.
코틀린을 배우기 시작했을 때는 코틀린이 스칼라와 비슷한 성능을 가졌음에도, 실용성을 특별히 강조하는 데 비해 타입 시스템을 사용하는 함수형 프로그래밍이라는 학문적 측면은 그다지 강조하지 않는다는 사실을 깨달았다. 몇몇 친구와 코세라에서 ‘Kotlin for Java Developers(자바 개발자를 위한 코틀린)’ 코스를 마친 다음, 우리는 그 스터디 그룹을 유지하면서 코틀린에서 타입을 사용하는 FP에 대해 탐구하는 토대로써 빨간 책의 내용을 사용하자고 이야기했다. 슬프게도 이 모임을 실제로 진행하지는 못했지만, 내 나름대로 연구를 더 진행해서 새로운 코틀린 FP 책의 개념을 매닝출판사에 제안했다. 초기 아이디어는 폴과 루나르의 책과 똑같은 내용을 다루되 모든 코드를 스칼라가 아닌 코틀린으로 변환하는 것이었다. 이 제안을 받아들여졌을 때 나는 매우 기뻤다. 하지만 일단 집필을 시작하자 책은 그 자체로 생명력이 있는 존재가 됐고, 기존의 제안에서 많은 것이(코드뿐 아니라 본문까지도) 달라졌다. 그럼에도 이 책은 원본인 빨간 책의 구조를 매우 충실히 따르고 있다.
코틀린 개발자를 위해 이 책을 쓰면서 나 자신도 엄청나게 성장할 수 있었다. 그 과정은 훌륭한 배움의 경험이기도 했으며, 이전보다 이 책의 개념을 더 심오하고 풍부하게 이해할 수 있게 됐다. 이 책을 통한 여행을 시작하는 여러분도 내가 각각의 페이지를 적을 때마다 느끼고 배웠던 내용을 최대한 많이 얻어가길 바란다. 소개하는 개념을 이해하면, 여러분이 코드를 작성하는 방식과 그 아이디어를 여러분의 발자국을 따라오는 다른 사람들에게 제시하는 방법을 영원히 바꿔줄 것이다. 이 책이 내게 효과가 있었듯이 여러분에게도 효과가 있길 바란다. 무엇보다 내가 그랬던 것처럼 여러분도 이 책의 모든 페이지에서 재미를 느끼고 즐기게 되길 기대한다.

◈ 옮긴이의 말 ◈
빅데이터 붐이 일 때 스칼라(Scala)와 스파크(Spark)가 적극적으로 커뮤니티에 받아들여지면서부터 함수형 프로그래밍에 대한 세간의 관심이 그 전에 비해 극적으로 늘어났다. 이제는 일반 개발자 사이에도 함수형 프로그래밍이 어느 정도 필수적인 프로그래밍 패러다임으로 받아들여지는 분위기다. 2010년대 이전과 비교하면, 함수형 프로그래밍에 대한 책도 많이 늘어났고 동영상 강의나 관련 자료도 인터넷에서 많이 찾아볼 수 있게 됐다.
그럼에도 함수형 프로그래밍을 정통적으로 알려주는 책은 그리 많지 않다. 무엇보다 일반 프로그래밍 언어에서 타입을 활용하는 함수형 프로그래밍의 고계 타입을 표현하려면 어려운 점이 많으므로, 함수형 패러다임과 복잡한 타입 시스템을 적극적으로 지원하는 하스켈(Haskell)이나 스칼라 같은 언어를 사용해 함수형 프로그래밍의 개념을 알려주는 경우가 많다. 대표적인 책으로 하스켈의 『가장 쉬운 하스켈 책』(비제이퍼블릭, 2014)이나 이른바 ‘빨간 책’인 스칼라의 『스칼라로 배우는 함수형 프로그래밍』이 있다.
반대로 정적 타입을 지원하지 않는 언어(자바스크립트 등)에서 함수형 프로그래밍을 다루는 책도 많이 있지만, 타입 시스템을 활용하지 않기 때문에 고계 타입이 주는 장점을 살리지 못한다는 한계가 있다.
이 책은 유명한 ‘빨간 책’의 코틀린 버전으로, 코틀린을 알고 있는 개발자들이 함수형 프로그래밍의 개념을 깊이 배우고 연습할 수 있도록 쓰였다. 새로운 패러다임을 배우기 위해 새로운 프로그래밍 언어를 배우면, 백지 상태에서 개념과 언어를 함께 배울 수 있어 완전히 새로운 관점에서 배움을 진행할 수 있다는 장점이 있다. 하지만 언어를 배우는 데 드는 노력으로 인해 개념을 이해하기는 더 어려워질 수도 있다. 그런 점에서 볼 때, 이 책은 코틀린 프로그래밍 언어를 사용했으므로 좀 더 쉽게 함수형 프로그래밍에 접근할 수 있는 길을 열어준다고 할 수 있을 것이다.
이 책을 읽고, 연습문제를 모두 풀어나가다 보면 함수형 프로그래밍의 개념을 이해하고 다양한 함수형 타입을 설계할 능력을 키워 나갈 수 있을 것이다. 또한, 명령형 코드를 작성할 때도 학습한 개념을 활용해 좀 더 우수하고 안전한 프로그램을 작성할 수 있게 된다. 부디 함수형 프로그래밍에 관심을 갖고 이 책을 집어든 여러분이 전체 여정을 마친 후 잘 훈련된 함수형 프로그래머로 거듭나길 기원한다.

라울 라하(Raul Raja)(애로우 라이브러리 메인테이너/47 디그리스(47 Degrees) CTO)
함수형 프로그래밍(FP, Functional Programming)은 소프트웨어를 통해 문제에 접근하고 문제를 해결하는 방식을 근본적으로 바꿨다. 함수형 프로그래밍은 불변성, 함수의 순수성, 함수 조합을 올바르고 예측 가능한 프로그램을 구축하는 수단으로 사용한다. 그 속성들은 최근 십여 년간 분산 시스템, 응용프로그램, 소프트웨어 공학을 바라보는 방식을 변화시켰다.
여러 해 전에는 함수형 프로그래밍의 성공에 대한 의문이 제기됐고 다른 패러다임과 비교되거나 연결되는 경우가 자주 있었다. 하지만 오늘날 대부분의 언어 컴파일러와 표준 라이브러리가 함수형 프로그래밍의 개념을 광범위하게 채택하고 있으며, 커뮤니티와 팀이 시스템 설계와 아키텍처에 접근하는 방식에도 함수형 프로그래밍이 영향을 끼쳤다.
코틀린은 컨티뉴에이션(continuation), 널이 될 수 있는 타입, 인터페이스, 패턴 매칭, 대수적 데이터 타입 등과 같은 함수형 기능을 포함하는 멀티패러다임, 멀티플랫폼 언어다. 이런 특징 덕분에 코틀린은 독특하고 재미있으며 가장 효율적인 함수형 프로그래밍 언어가 될 수 있다.
언어마다 함수형 프로그래밍의 특성을 드러내는 자신만의 표현 방법이 있으므로, 여러분은 함수형 프로그래밍의 본질이 무엇이고 이 본질을 어떻게 제대로 배우는지 궁금할 수 있다. 이 책의 저자 중 한 사람인 마르코는 유명한 ‘빨간 책(Red Book)’인 『스칼라로 배우는 함수형 프로그래밍』(제이펍, 2015)을 이번에는 코틀린을 밑바닥부터 함수형 프로그래밍 패턴을 설명하는 수단으로 사용해 각색했다. 이 책은 함수 합성과 대수적 설계라는 기본 개념을 자세히 설명하고, 그 후 함수형 패턴과 데이터 타입을 밑바닥부터 어떻게 구현하는지 보여주는 연습문제와 예제를 통해 함수형 프로그래밍을 연습하고 배우도록 여러분을 초대한다.
오류 처리 같은 일반적인 시나리오에서 시작해 스트리밍 같은 더 복잡한 경우에 이르도록, 이 책은 함수형 프로그래머의 배움을 보완해주고 핵심 함수형 추상화와 패턴을 배우기 위한 근본적인 접근 방식을 제공한다.

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

1장. 함수형 프로그래밍이란?
1.1 FP의 장점: 간단한 예제
1.1.1 부수 효과가 있는 프로그램
1.1.2 함수형 해법: 부수 효과 제거하기
1.2 정확히 (순수) 함수란 무엇인가?
1.3 참조 투명성, 순수성, 치환 모델
1.4 앞으로 살펴볼 내용
요약

2장. 코틀린으로 함수형 프로그래밍 시작하기
2.1 고차 함수: 함수를 함수에 넘기기
2.1.1 잠시 돌아가기: 루프를 함수적으로 작성하는 방법
2.1.2 첫 번째 고차 함수 작성하기
2.2 다형적 함수: 타입에 대해 추상화하기
2.2.1 다형적 함수 예제
2.2.2 익명 함수를 사용해 고차 함수 호출하기
2.3 타입에 맞춰 구현하기
요약

3장. 함수형 데이터 구조
3.1 함수형 데이터 구조 정의하기
3.2 함수적 데이터 구조 다루기
3.2.1 타입으로 매칭하기 위한 ‘when’
3.2.2 if-else를 대신하는 when
3.2.3 패턴 매칭은 무엇이며 코틀린 매칭과 어떤 차이가 있나?
3.3 함수형 데이터 구조 안의 데이터 공유
3.3.1 데이터 공유의 효율
3.4 리스트에 대한 재귀와 이를 고차 함수로 일반화하는 방법
3.4.1 리스트에 작용하는 다른 함수들
3.4.2 코틀린 표준 라이브러리의 리스트
3.4.3 단순한 요소들로부터 리스트 함수를 합성하는 데 따른 비효율
3.5 트리
요약

4장. 예외를 사용하지 않고 오류 다루기
4.1 예외를 던지는 것의 문제점
4.2 예외에 대한 문제가 있는 대안
4.2.1 센티넬 값
4.2.2 디폴트 값 제공
4.3 Option으로 성공 상황 인코딩하기
4.3.1 Option 사용 패턴
4.3.2 Option 합성, 끌어올리기 및 예외 기반 API 감싸기
4.3.3 Option과 for 컴프리헨션 사용하기
4.4 성공과 실패 조건을 Either로 인코딩하기
4.4.1 Either를 for 컴프리헨션에서 사용하기
요약


5장. 엄격성과 지연성
5.1 엄격한 함수와 엄격하지 않은 함수
5.2 확장 예제: 지연 리스트
5.2.1 스트림을 메모화하고 재계산 피하기
5.2.2 스트림 관찰을 위한 도우미 함수
5.3 프로그램 기술과 평가 분리하기
5.4 공재귀 함수를 통해 무한한 데이터 스트림 생성하기
5.5 결론
요약

6장. 순수 함수형 상태
6.1 부수 효과를 사용해 난수 생성하기
6.2 순수 함수형 난수 생성기
6.3 상태가 있는 API를 순수 함수형 API로 만들기
6.4 상태 동작을 전달하는 암시적 접근 방법
6.4.1 상태 동작 조합을 통해 더 큰 능력 발휘하기
6.4.2 상태 동작을 내포시켜서 재귀적으로 재시도하기
6.4.3 콤비네이터 API를 초기 예제에 적용하기
6.5 일반적인 상태 동작 타입
6.6 순수 함수형 명령형 프로그래밍
6.7 결론
요약

2부. 함수형 설계와 콤비네이터 라이브러리

7장. 순수 함수형 병렬성
7.1 데이터 타입과 함수 선택하기
7.1.1 병렬 계산을 위한 데이터 타입
7.1.2 동시성을 보장하기 위해 병렬 계산 조합하기
7.1.3 실행할 계산을 명시적으로 표시하기
7.2 표현 선택하기
7.3 최종 사용자를 염두에 두고 API 다듬기
7.4 대수적 등식을 사용해 API에 대해 추론하기
7.4.1 매핑 규칙
7.4.2 논리 스레드 분기의 법칙
7.4.3 논블로킹 구현을 위해 액터 사용하기
7.5 가장 일반적인 형태로 콤비네이터 다듬기
요약


8장. 속성 기반 테스트
8.1 속성 기반 테스트 맛보기
8.2 데이터 타입과 함수 선택하기
8.2.1 가능한 API에 대한 짧은 초기 예제 코드 모으기
8.2.2 속성의 의미와 API 탐구하기
8.2.3 생성기의 API와 의미 발견하기
8.2.4 생성된 값에 의존하는 생성기
8.2.5 속성 데이터 타입 다듬기
8.3 테스트 케이스 최소화
8.4 라이브러리를 사용하고 사용자 경험 개선하기
8.4.1 몇 가지 간단한 예제
8.4.2 병렬 계산에 어울리는 테스트 스위트 작성하기
8.5 고차 함수나 다른 가능성 생성하기
8.6 생성기의 법칙
8.7 결론
요약

9장. 파서 콤비네이터
9.1 대수 설계하기
9.1.1 문자 하나를 인식하기 위한 파서
9.1.2 전체 문자열을 인식하기 위한 파서
9.1.3 반복을 인식하기 위한 파서
9.2 대수를 설계하는 한 가지 접근 방법
9.2.1 문자 반복 횟수 세기
9.2.2 슬라이싱과 비어 있지 않은 반복
9.3 문맥에 대한 민감성 처리하기
9.4 JSON 파서 작성하기
9.4.1 JSON 파서의 예상 동작 정의하기
9.4.2 JSON 형식 정리
9.4.3 JSON 파서
9.5 보고를 통해 오류를 표면에 드러내기
9.5.1 오류 보고 첫 번째 시도
9.5.2 오류 내포를 통해 오류 누적시키기
9.5.3 분기와 백트래킹 제어
9.6 대수 구현하기
9.6.1 점진적으로 대수의 구현 구축하기
9.6.2 파서의 시퀀스 처리하기
9.6.3 파서에 레이블을 붙여서 오류 메시지 잡아내기
9.6.4 오류 회복과 백트래킹
9.6.5 문맥 민감 파서를 통해 상태 전파하기
9.7 결론
요약

3부. 함수형 설계의 일반 패턴

10장. 모노이드
10.1 모노이드란 무엇인가?
10.2 모노이드로 리스트 접기
10.3 결합성과 병렬성
10.4 예제: 병렬 파싱
10.5 접을 수 있는 데이터 구조
10.6 모노이드 합성하기
10.6.1 더 복잡한 모노이드 조립하기
10.6.2 순회 융합을 위해 합성한 모노이드 사용하기
요약

11장. 모나드와 펑터
11.1 펑터
11.1.1 map 함수를 일반화해 펑터 정의하기
11.1.2 법칙의 중요성과 펑터에 대한 관계
11.2 모나드: flatMap과 unit 함수 일반화하기
11.2.1 모나드 인터페이스 소개
11.3 모나드적인 콤비네이터
11.4 모나드 법칙
11.4.1 결합 법칙
11.4.2 구체적인 모나드에 대해 결합 법칙 증명하기
11.4.3 왼쪽과 오른쪽 항등 법칙
11.5 도대체 모나드란 무엇인가?
11.5.1 항등 모나드
11.5.2 State 모나드와 부분적인 타입 적용
요약

12장. 적용 가능 펑터와 순회 가능 펑터
12.1 재사용성을 위해 모나드 일반화하기
12.2 모나드의 대안인 적용 가능 펑터
12.3 모나드와 적용 가능 펑터의 차이
12.3.1 Option 적용 가능 펑터와 Option 모나드의 비교
12.3.2 Parser 적용 가능 펑터와 Parser 모나드
12.4 적용 가능 펑터의 장점
12.4.1 모든 적용 가능 펑터가 모나드는 아니다
12.5 적용 가능 법칙을 사용해 프로그램에 대해 추론하기
12.5.1 왼쪽과 오른쪽 항등원 법칙
12.5.2 결합 법칙
12.5.3 자연성의 법칙
12.6 순회 가능을 사용해 traverse와 sequence 추상화하기
12.7 Traversable을 사용해 고류 타입을 반복적으로 변환하기
12.7.1 모노이드에서 적용 가능 펑터로
12.7.2 상태 동작을 전파시키는 동시에 컬렉션 순회하기
12.7.3 순회 가능 구조 조합하기
12.7.4 단일 패스 효율성을 위한 트리 융합
12.7.5 내포된 순회 가능 구조를 동시 순회하기
12.7.6 모나드 합성의 함정과 함정을 피하는 방법
요약

4부. 효과와 입출력

13장. 외부 효과와 I/O
13.1 효과가 있는 프로그램에서 효과 뽑아내기
13.2 효과가 있는 코드를 분리하기 위해 IO 타입 도입하기
13.2.1 입력 효과 처리하기
13.2.2 간단한 IO 타입의 장단점
13.3 실체화와 트램폴린화를 통해 스택 오버플로 오류 방지하기
13.3.1 데이터 생성자로 흐름 제어 실체화하기
13.3.2 트램폴린화: 스택 오버플로에 대한 일반적인 해법
13.4 더 적절한 뉘앙스의 IO 타입
13.4.1 타당한 가격이 붙은 모나드
13.4.2 콘솔 I/O만 지원하는 모나드
13.4.3 순수 해석기를 사용해 콘솔 I/O 테스트하기
13.5 논블로킹과 비동기 I/O
13.6 범용 IO 타입
13.6.1 세계의 반대쪽에 있는 주 프로그램
13.7 왜 IO 타입이 스트리밍 I/O에 대해 부족한가?
요약

14장. 지역 효과와 가변 상태
14.1 순수 함수형 코드 안에서 상태 변이가 합법적이다
14.2 부수 효과의 영역을 강제하는 데이터 타입
14.2.1 영역이 제한된 변이를 위한 DSL
14.2.2 가변 참조의 대수
14.2.3 가변 상태 동작 실행하기
14.2.4 ST 모나드의 데이터 타입으로 표현된 가변 배열
14.2.5 순수 함수적인 인플레이스 퀵소트
14.3 순수성은 맥락에 따라 달라진다
14.3.1 예제를 통한 정의
14.3.2 부수 효과로 취급할 수 있는 것은 무엇일까?
요약

15장. 스트림 처리와 점진적 I/O
15.1 명령형 I/O의 문제점: 예제
15.2 간단한 트랜스듀서를 사용해 스트림 변환하기
15.2.1 스트림 트랜스듀서를 만들기 위한 콤비네이터
15.2.2 이어 붙이기와 합성을 사용해 여러 트랜스듀서 합치기
15.2.3 파일 처리를 위한 스트림 트랜스듀서
15.3 프로토콜 파라미터화를 위한 확장 가능한 프로세스
15.3.1 스트림 발생을 위한 소스
15.3.2 스트림 트랜스듀서의 자원 안전성 보장하기
15.3.3 트랜스듀서를 단일 입력 스트림에 적용하기
15.3.4 다중 입력 스트림
15.3.5 출력 처리를 위한 싱크
15.3.6 효과가 있는 채널에서 효과 숨기기
15.3.7 동적인 자원 할당
15.4 실제 세계에서의 스트림 트랜스듀서 활용
요약
마무리하며

부록 A 연습문제 힌트와 팁
부록 B 연습문제 해답
부록 C 고류 타입
부록 D 타입 클래스