함수형 프로그래밍이 각광받기 시작한 지도 제법 시간이 지났습니다. 그래서 이제는 많은 프로그래밍 언어들이 함수형 프로그래밍을 문법적으로 지원하게 되었습니다. 그러나 아직도 많은 개발자들이나 컴퓨터학을 공부하는 학생들이 ‘함수형 프로그래밍은 수학과 얽혀 있어 어렵고 복잡한 것’이란 선입견을 가지고 있지는 않은지요? 이 책은 함수형 프로그래밍을 마치 여행지를 산책하듯이 가벼운 마음으로 입문할 수 있도록 구성하였습니다. --- p.xii

타이핑에 대한 이야기는 여기에서 마치고 다시 본론으로 돌아와 리스프에서의 함수에 대한 이야기를 이어 가자. 리스프에서의 함수는 하나의 값을 반환하는 것이 기본 전제다. 이것은 함수형 언어의 공통된 특징으로, 함수는 반드시 하나의 값을 반환한다. 이는 함수형 언어가 수학에서의 함수에 기초하기 때문이다. 다음과 같은 수학에서의 함수를 생각해 보자. --- p.24

현대 컴퓨터의 물리적인 구조는 폰 노이만 아키텍처를 따른다. 이 구조를 그대로 모사한 튜링 머신 계열의 절차/명령형 언어들은 메모리에 값을 기재하고 그 값을 바꿔가면서 프로그램을 작성하는 패러다임을 따른다. 즉, 메모리에 공간을 만들고 거기에 기재된 값을 바꾸는 일을 프로그래밍 언어를 통해 하나하나 기술해 주는 것이다. --- p.80

지금까지의 내용을 다시 한번 정리하면 타입이란 값들의 집합이고, 타입 클래스를 통해 그 집합에 속하는 값들 간에 적용할 수 있는 연산을 정의할 수 있다. Ord, Eq, Show와 같이 하스켈에서 제공하는 타입 클래스에 속하게 하거나, 나만의 타입 클래스를 만들어서 값들 간의 연산을 새롭게 정의할 수 있다. --- p.133

아직까지는 이것이 정말 분산 병렬 처리 프레임워크인지 실감이 나지 않을 것이다. 그저 함수형 언어의 REPL과 크게 다르지 않아 보이기 때문이다. 따라서 먼저 스파크의 기본 구조를 알아본 후, 스탠드얼론 클러스터(Stand-alone Cluster)를 기동하여 분산 처리되는 동작을 직접 확인해 보도록 하자.