함수형 프로그래밍의 기본 개념을 학습할 수 있으며, 소프트웨어 개발자가 함수형 프로그래밍을 객체지향 프로그래밍과 함께 사용하는 방법을 배울 수 있다. 저자는 자바, 파이썬, C#, Scala, 자바스크립트 등 다양한 프로그래밍 언어로 작성한 예제를 통해 복잡한 소프트웨어 프로젝트에서 함수형과 객체지향 프로그래밍의 조화를 이끌어내는 방법을 알려준다. 또한 함수적인 접근법을 통해 간결하고 수정이 용이하며 일관된 코드를 작성하는 방법과, 함수형 프로그래밍과 객체지향 프로그래밍의 차이를 이해하면서 두 스타일을 소프트웨어 프로젝트에 통합시키는 방법을 배울 수 있다. 독자는 이 책의 내용을 바탕으로 함수형 프로그래밍을 실무에 적용할 수 있을 것이다.

◆ 함수형 프로그래밍 기본 개념을 배우고 함수형 프로그래머가 문제에 접근하는 방식을 탐구한다.
◆ 함수형 프로그래밍이 객체 지향 프로그래밍과 명령형 프로그래밍이 어떻게 다른지 이해할 수 있다.
◆ 함수적인 방식으로 현실을 모델링하는 실용적이고 적용 가능한 디자인 패턴 세트를 사용할 수 있다.
◆ 함수형 프로그래밍 및 객체지향 프로그래밍 기능을 소프트웨어 프로젝트에 통합하는 방법을 학습할 수 있다.
◆ 함수형 디자인 패턴을 적절하게 적용하고, 정확하고 견고한 동시에 쉽게 수정할 수 있는 코드를 작성할 수 있다.

기본적으로 모든 프로그래머를 대상으로 한 책이다. 함수형 프로그래밍에 대한 경험은 없지만 들어본 적이 있고, 궁금한 점이 많거나 지식이 전혀 없는 상태에서 서점에서 이 책을 구매한 경우에도 유용할 것이다. 숙달된 함수형 프로그래밍 프로그래머 또한 도움이 될 만한 내용을 찾을 수 있을 것이다.
함수형 프로그래밍에 관해 다른 책에서는 다루지 않는 방식으로 함수형 프로그래밍의 범주론의 근간을 심층적으로 설명한다. 마지막으로 활용 경험이 어느 정도 있지만 함수형 프로그래밍을 구성하는 개념과 이론을 더 깊이 이해하고 싶은 프로그래머는 이 책을 통해 많은 것을 배우고 즐길 수 있을 것이다.

최근 몇 년간 함수형 프로그래밍(FP)은 부흥기를 맞이하고 있다. 자바, 자바스크립트, 파이썬과 같이 처음부터 함수형으로 설계되지 않았던 프로그래밍 언어들이 시간이 지나면서 함수형 기능을 포함하도록 발전함에 따라 수많은 회사에서 함수형 프로그래밍 경력을 보유한 프로그래머를 찾고 있다. 함수형 개발 경력을 보유한 프로그래머에 대한 수요는 함수형 방식을 따를 때 버그가 더 적게 생성되고 확장 가능한 견고한 코드를 생성하는 등 개발 프로세스가 개선될 것이라는 인식에 기반을 두고 있다. 이것이 사실인지에 대한 여부와 앞으로 작성될 코드에서 함수형 코드의 비율이 더 높아질지에 대한 여부는 시간이 흘러감에 따라 더 분명해질 것이다. 지금은 함수형 프로그래밍을 각각 장단점을 보유한 여러 패러다임 중 하나로 생각하자.

잭 위드먼(Jack Widman)

학계에서 수학자로 커리어를 시작했다. 미적분학 및 이산 수학 과정을 가르치면서 의사 콤팩트(pseudo-compact) 위상군(topological group)의 복잡한 수학 이론을 연구하고 지도했다. 그러던 중 친구의 제안으로 프로그래밍을 접하고 적성에 맞는지 알아보기로 결심했다. 그로부터 24년이 지난 지금, 꾸준히 코드를 설계하고 작성하고 있다. 수학 박사 학위와 24년간의 소프트웨어 산업군의 경력을 바탕으로 수학적 뿌리가 깊은 함수형 프로그래밍에 관한 책을 집필하자는 아이디어를 떠올렸고, 그 결과 이 책을 완성했다. 여가 시간에는 사이버 보안에 관한 다양한 글을 읽고, 쓰고, 배우는 것을 즐긴다.

최근 스칼라, 코틀린, 타입스크립트, 하스켈 등 다양한 함수형 프로그래밍 언어가 소프트웨어 개발에 활용되고 있다. 이러한 인기의 비결은 함수형 프로그래밍만이 갖고 있는 여러 특징 때문이다. 많은 프로그래밍 언어가 개발의 편의성을 이유로 동적 타입 시스템을 적용한 프로그래밍 언어를 사용하고 있다. 그러나 이는 유지 보수를 어렵게 만들며 예기치 못한 오류를 발생시킨다. 반면, 함수형 프로그래밍은 부수 효과(side effect)가 없기 때문에 테스팅과 디버깅에 용이하다는 장점이 있다. 정적 타입 시스템을 채택한 함수형 프로그래밍은 이러한 장점을 극대화시킬 수 있다. 하지만 함수형 프로그래밍은 반복문, 조건문과 같은 기본적인 문법만 익혀서는 효과적으로 실무에 사용할 수 없으며 일급 객체, 범주론, 집합론 등 다양한 수학적 개념을 익혀야 효과적으로 사용할 수 있다. 이 책에서는 이러한 수학적 개념들과 함께 불변성, 지연 계산법과 같은 특징을 다루기 때문에 함수형 프로그래밍의 본질을 이해하고 실제 업무에 활용하는 데 많은 도움이 될 것이다.
과거 명령형 프로그래밍만 전적으로 사용하던 시절이 있었지만 현재는 객체지향 프로그래밍과 명령형 프로그래밍이 함께 조화를 이루고 있다. 앞으로는 함수형 프로그래밍과 객체지향 프로그래밍을 함께 활용하는 개발 방법론이 적용될 것이다. 이 책은 이러한 함수형 프로그래밍과 객체지향 프로그래밍을 함께 사용할 수 있는 방법도 다루고 있다. 프로그래밍 언어 연구에 매진하는 연구원으로서 함수형 프로그래밍을 배우고 싶어 하는 독자에게 이 책을 강력히 추천한다.

이진호

성균관대학교 컴퓨터 교육학과를 졸업하고, 기업은행과 금융결제원을 거쳐 금융보안원에서 재직 중이다. 최근 미국으로 연수를 떠나 캘리포니아 대학교 데이비스(UC Davis)에서 컴퓨터 과학 석사 과정을 수료했다. 사이버 보안 분야뿐만 아니라 다른 사람들에게 지식을 전달하는 일에도 관심이 많아 다양한 책을 번역하고 있다. 지금까지 에이콘출판사에서 『실전 버그 바운티』(2021), 『AWS 침투 테스트』(2020), 『금융 사이버 보안 리스크 관리』(2019) 등 총 8권의 책을 번역했다. 자세한 소개는 링크드인(https://www.linkedin.com/in/pub-ezno/)에서 확인할 수 있다.

한용진

동국대학교 컴퓨터공학과를 졸업 후 현재 캘리포니아 대학교 데이비스에서 컴퓨터 과학 석사 과정을 밟고 있다. 프로그래밍 언어론과 자동 프로그래밍에 관심이 많으며, 신뢰 가능하고 안전한 소프트웨어 개발을 연구 목표로 하고 있다.