• 컴퓨터/IT > 프로그래밍

반디앤루니스 리뷰

함수형 프로그래밍을 배우고자 하는 개발자를 위한 책이다. Go 언어로 함수형 프로그램을 개발하기 위한 기초 문법부터 수준 높은 이론에 이르기까지 지루하지 않게 설명한다. Go 언어에 친숙한 독자라면 모든 준비를 갖춘 셈이지만, 설령 그렇지 않은 독자라 하더라도 책을 읽는 것은 어렵지 않을 것이다.

출판사 리뷰

[이 책의 대상 독자] 비프로그래머와 프로그래머 모두를 위한 책으로, 이 책에 담고 있는 많은 정보를 이해하려면 고등학교 교육 수준의 지식만 갖추면 된다. 그리고 이 책에서 다루는 프로그래밍을 위해서는 최소 1년의 프로그래밍 경험만 있으면 충분하다. Go나 하스켈을 유창하게 사용한다면 이상적이지만, C/C++, 파이썬, 자바스크립트, 자바, 스칼라, 루비와 같은 언어들을 경험해봤다면 그것으로 충분하다. 명령행을 사용하는 데 조금 익숙해져야 할 필요는 있다. [이 책의 구성] 1장. 'Go로 순수 함수형 프로그래밍하기'에서는 선언적 프로그래밍 스타일을 소개하고 피보나치 수열을 통해 재귀와 메모이제이션(memoization), Go의 병행성 구조를 예시한다. 재귀적 코드에 대해 벤치마킹/성능 시험을 하는 방법을 배우며, 몇 가지 나쁜 소식도 전한다. 2장. '컬렉션 다루기'에서는 데이터 변환 수행을 위한 매개 함수(Map, Filter, Sort)와 종결 함수(Reduce, GroupBy, Join) 사용법을 보인다. 또한 Mocha-like BDD라는 Go 프레임워크를 사용해 술어 함수를 시험한다. Itertools를 통해 함수형 프로그래밍의 컬렉션 가공 함수를 맛보고 분산 맵리듀스 솔루션인 Gleam(Go+LuaJIT+유닉스 파이프(Unix Pipe))을 살펴볼 것이다. 3장. '고계 함수 사용하기'에서는 27가지의 함수형 프로그래밍 특성을 다룬다. 익명 함수, 클로저(closure), 커링(currying), Either 데이터 타입, 일급 객체 함수, 함수, 함수 합성, 힌들리-밀너(Hindley-Milner) 타입 시스템, 멱등성, 불변 상태, 불변 변수, 람다 식, 리스트 모나드, Maybe 데이터 타입, Maybe 모나드, 모나드 오류 처리, 부수 효과, 연산자 오버로딩, option 타입, 매개변수 다형성, 부분 함수 적용, 재귀, 참조 투명성, sum 또는 union 타입, 꼬리 호출 최적화, 타입 클래스, 유닛 타입 등이다. 또한 제네릭(generic)의 예제를 보이고, 함수형 프로그래밍 프로그래머들에게 어떠한 가치가 있는지 설명한다. Map과 Filter, Reduce 함수를 구현해보고, 고루틴과 채널을 이용해 느긋한 계산(lazy evaluation)을 구현해본다. 4장. 'Go로 하는 SOLID 설계'에서는 왜 고퍼(Gopher)들이 자바를 지긋지긋하게 여기는지 논한다. 또한 좋은 소프트웨어 설계의 원칙, 단일 책임 원칙 적용법, 함수 합성, 개폐 원칙, 함수형 프로그래밍 계약, 덕 타이핑(duck typing)을 다룬다. 인터페이스를 이용한 행위 모델링, 인터페이스 분리 원칙 및 내장 인터페이스를 이용한 소프트웨어 합성에 대해서도 다룬다. 퍼플 모노이드 체인(purple Monoid chain)을 통해 결합법칙을 배우고 모나드 체인 연속체라는 커다란 발견에 도달한다. 5장. '데코레이션으로 기능 추가하기'에서는 Go의 기본 Reader, Writer 인터페이스를 이용한 인터페이스 합성에 대해 설명한다. 이어서 절차적 설계와 함수형 제어 역전(IoC)을 비교한다. Authorization, Logging, LoadBalancing이라는 데코레이터를 구현해보며, 데코레이터 패턴들이 실제 어떻게 사용되는지를 확인하기 위해 쉬운 측정 기준을 추가한다. 6장. '함수형 프로그래밍을 아키텍처에 적용하기'에서는 계층적 아키텍처를 이용해 응용 프레임워크를 개발하며, 이를 통해 순환 의존 오류를 해결한다. 할리우드 원칙의 적용법을 배우며, 옵저버 패턴과 의존성 주입 사이의 차이점을 살펴본다. 제어 역전을 사용해 논리 흐름을 제어하고 계층적 응용을 개발한다. 효과적인 표 중심 프레임워크를 개발하고 응용 소프트웨어의 API도 테스트해본다. 7장. '함수형 매개변수'에서는 자바와 객체 지향 프로그래밍을 통해 배운 많은 사항이 왜 Go에서는 통용되지 않는지를 알려주고, 함수형 옵션을 통해 긴 매개변수 목록을 재구성하는 방법을 가르쳐주며, 커링과 부분 함수 적용의 차이점을 이해하도록 돕는다. 부분 적용을 통해 더 적은 인자 수를 갖는 새 함수를 생성하는 방법을 배울 것이다. 문맥(context)을 이용해 우아하게 서버를 끄거나, 문맥을 이용해 장기간 실행 중인 긴 데이터베이스 트랜잭션을 실행 취소하고 복구하는 방법을 배운다. 8장. '파이프라인을 이용한 성능 향상'에서는 데이터 흐름 타입(Read, Split, Transform, Merge, Write)을 다루며, 데이터 변환 파이프라인을 언제 어떻게 개발할지를 배운다. 버퍼링을 통해 데이터 처리율을 높이고, 고루틴과 채널을 이용해 처리 속도를 향상시키는 방법을 배운다. 또한 인터페이스를 이용해 API 가독성을 향상하고, 몇몇 유용한 필터를 구현해본다. 또한 신용카드 변경 처리를 위해 설계한 명령형 파이프라인 및 함수형 파이프라인을 구현해보고 비교한다. 9장. '함자, 모노이드, 제네릭'에서는 Go가 제네릭을 지원하지 않아서 다행인 점을 설명한다. 코드 생성 도구를 이용해서 반복적이고 늘 채워야 하는 코드로 인해 발생하는 문제를 해결한다. 함수 합성으로 깊이 들어가서 함자(functor)를 몇 개 구현해보고, 실제로 어떻게 매핑되는지 배운다. 또한 송장 처리 모노이드(monoid) 구현을 위한 리듀스(reduce) 함수 작성법도 배운다. 10장. '모나드, 타입 클래스, 제네릭'에서는 모나드의 동작을 보여주며, 바인드(bind) 연산을 이용한 함수 합성법도 소개한다. 모나드가 오류를 처리하는 법, 입출력을 다루는 법도 살펴보고, Go로 모나드 작업 흐름을 어떻게 구현하는지 쫓아가본다. 람다 계산이 무엇이고 모나드와 어떤 관련이 있는지를 소개하며, 람다 계산을 통한 재귀 구현 방법과 Go에서의 Y-컴비네이터(Y-combinator) 작동법도 함께 다룬다. 그다음에는 Y-컴비네이터를 사용해 작업 흐름을 제어해보고 파이프라인 종단에서 모든 오류를 처리하는 방법을 배운다. 타입 클래스가 어떻게 쓰이는지 알아본 후, Go를 이용해 몇 개의 타입을 구현해보고, 마지막으로 Go에서 제네릭을 지원할 경우의 장단점을 짚어본다. 11장. '카테고리 이론의 적용'에서는 카테고리 이론에 대한 실용적 이해를 제공한다. 카테고리 이론과 논리학, 타입 이론 사이의 깊은 연관성을 배운다. 함수형 프로그래밍의 역사를 훑어보고 그에 대한 이해를 높인다. 여기서는 벤 다이어그램을 사용해 프로그래밍 언어의 다양한 카테고리를 설명한다. 람다 식 관점에서 바인딩, 커링, 적용이 의미하는 바를 알게 되고, 람다 계산이 초콜릿 우유와 같다는 사실도 알게 된다. 타입 시스템이 함수형 프로그래밍을 함의한다는 것을 설명하며, 준동형의 다양한 분류를 소개하고 언제 사용할 수 있는지 알려준다. 또한 수학과 축구공의 공중 궤적을 통해 다형성에 대한 이해도를 높인다. 일차함수와 이차함수를 통해 함수 합성을 다루며, 인터페이스 중심 개발을 배운다. 지식 기반 시스템의 가치를 살펴보고, 카테고리 이론에 대해 이해한 바를 더 나은 응용 소프트웨어 개발에 어떻게 적용할지 알아본다. 부록. '다양한 정보와 따라 하기'에서는 이 책의 Go 프로젝트를 빌드하고 실행하기 위해 내가 제안하는 바를 설명한다. 또한 Go에 변경을 제안하는 방법을 살펴보고, 한 장소에서 오류를 처리하도록 하는 Go 호환 방법(이른바 규칙적 작업 흐름 솔루션(lexical workflow solution))을 설명한다. Go 언어에 대한 피드백을 제출할 곳과 함수형 프로그래밍 참고 자료 페이지를 제공하고, 명안도-카탈랑 수(Minggatu-Catalan Number)에 대해 설명한다.

1장. Go로 순수 함수형 프로그래밍하기
함수형 프로그래밍의 사용 동기
소스 코드 얻기
명령형 프로그래밍과 선언적 프로그래밍
순수 함수들
피보나치 수열: 간단한 재귀와 두 가지 성능 향상
익명 함수와 클로저의 차이
테스트 주도 개발을 사용해 함수형 프로그래밍 테스트하기
명령형 언어에서 순수 함수형 프로그래밍으로의 여행과 깨달음
요약

2장. 컬렉션 다루기
컬렉션 순회
배시 명령어 파이핑
함자
술어
맵과 필터
Contains 연산
Go가 제네릭을 지원했다면
Itertools
함수 패키지
Another time of reflection
치료
요약

3장. 고계 함수 사용하기
함수형 프로그래밍의 특징
고계 함수 응용 사례
요약

4장. Go로 하는 SOLID 설계
고퍼들이 자바를 꺼리는 이유
소프트웨어 설계 방법
SOLID 설계 원칙
대발견
Viva La Duck
요약

5장. 데코레이션으로 기능 추가하기
인터페이스 합성
데코레이터 패턴
요약

6장. 함수형 프로그래밍을 아키텍처에 적용하기
애플리케이션 아키텍처
시스템 공학의 역할
복잡도 관리
함수형 프로그래밍이 아키텍처에 준 영향
도메인 주도 설계
-의존성 규칙
도메인 주도 설계
-인터페이스 기반 개발
-할리우드 원칙
클라우드 버킷 애플리케이션
함수형 프로그래밍과 마이크로서비스들
요약

7장. 함수형 매개변수
긴 매개변수 목록 리팩토링
-매개변수가 일곱 개를 넘는 함수 시그니처의 잘못된 점
-리팩토링
-OOP는 잘못된 아이디어다
-리팩토링 자세히 보기
-해법
함수형 매개변수
컨텍스트
-Context 제약
-좋은 코드 작성과 축구 경기의 공통점
-좀 더 실용적인 Context 용례
요약

8장. 파이프라인을 이용한 성능 향상
파이프라인 패턴 소개
-grep sort 예제
-파이프라인 특징
-예제
구현 사례들
-명령형 구현 사례
-병행 구현 사례
-버퍼를 사용한 구현 사례
-향상된 구현 사례
-유효하지 않은 데이터 처리 시험
요약

9장. 함자, 모노이드, 제네릭
함자 이해하기
메타프로그래밍을 통해 제네릭 부재 문제 해결
제네릭 코드 생성 도구
제네릭 구현 옵션
함자의 형태
합성 연산
법적 의무라는 문맥에서의 함수 합성
12시간 표시 시계 함자
car 함자
모노이드
모노이드 예제
요약

10장. 모나드, 타입 클래스, 제네릭
테레사 수녀 모나드
-바인드 연산
-승급 연산
-모나드 함수
-모나드 리스트 함수
모나드 작업 흐름 구현
-람다 계산
Y-컴비네이터
또 다른 작업 흐름 옵션
비즈니스 유스케이스 시나리오
Y-컴비네이터 다시 보기
-꼬리 재귀란 무엇인가?
-Big-Oh 표기
타입 클래스
제네릭 복습
요약

11장. 카테고리 이론의 적용
목표
-나눠보기
-대수와 미지
-대수의 실세계 응용
-대수의 기본 법칙
-수학에서의 대응성
증명 이론
커리-하워드 동형
함수형 프로그래밍의 역사적 사건들
프로그래밍 언어의 카테고리
람다 계산
함수형 프로그래밍에서 타입 시스템의 중요성
정의역, 변역, 사상
집합론 기호들
카테고리 이론
사상
준동형 사상
합성 가능한 병행성
그래프 데이터베이스 예제
수학과 카테고리 이론을 이용해 이해하기
합, 곱, 지수, 타입을 가지고 놀기
빅데이터, 지식 기반 개발, 데이터 가시화
요약

부록. 다양한 정보와 따라 하기
Go 프로젝트 빌드하고 실행하기
개발 작업 흐름 요약
Go에 변경 제안하기
함수형 프로그래밍 관련 자료들
명안도-카탈랑 수