하스켈로 뛰어들라!

10여 년간 함수형 프로그래밍을 연구해온 그라함 허튼의 『하스켈로 배우는 프로그래밍』. 프로그래밍 작업은 명확하게, 코딩 수정은 단순하게 만드는 하스켈(Haskell)에 대한 입문서다.

저자가 노팅엄 대학에서 하스켈에 대해 강의하면서 다듬은 교재의 내용을 바탕으로 삼은 이 책은, 어지러운 프로그래밍 작업과 코딩 수정에 고단함을 느끼는 개발자들을 위해 저술된 것이다. 컴파일 언어처럼 효율성이 높으면서도 스크립트 언어처럼 빠를 뿐 아니라, 메커니즘을 파악하기에 쉬워 프로그래밍 언어 연구자들에게 사랑받는 하스켈을 통해 프로그램을 단순하면서도 명확하고 우아아게 짜는 방법을 배울 수 있다

 특히 프로그램의 성질을 증명하는 방법을 익히기 유용한 함수형 프로그래밍과 만나게 된다. 장마다 연습문제를 수록하여 학습한 내용을 점검할 수 있도록 꾸몄다. 하스켈 98을 중점적으로 다룬다.

☞ CP Say!
『하스켈로 배우는 프로그래밍』을 학습하실 때 'http://pl.pusan.ac.kr/~haskeel'(한글)이나 'http://www.cs.nott.ac.uk/~gmh/book.html'(영어)을 통해 참조하시면 유용한 자료를 얻을 수 있습니다.

머리말
 옮긴이 머리말
 추천사

1 소개
 함수
 함수형 프로그래밍functional programming
하스켈의 특징
 역사적 배경
 하스켈 맛보기
[살펴보기]
 [연습문제]

2 첫걸음 떼기
Hugs 시스템
 표준 서막standard prelude
함수
 하스켈 스크립트
[살펴보기]
 [연습문제]

3 타입과 클래스
 기본 개념
 기본 타입
 리스트 타입
 순서쌍 타입
 함수 타입
 커리된curried 함수
 여러 모양polymorphic 타입
 여러 의미overloaded 타입
 기본 클래스
[살펴보기]
 [연습문제]

4 함수 정의
 새것을 옛것으로부터
 조건식conditional expression
보초선 등식guarded equation
패턴 매칭pattern matching
람다식lambda expression
잘린식section
 [살펴보기]
 [연습문제]

5 리스트 조건제시식comprehension
생성원generator
보초guard
 Zip 함수
 글줄string 조건제시식comprehension
카이사르 암호Caesar cipher
 [살펴보기]
 [연습문제]

6 되도는 함수recursive function
기본 개념
 리스트로 되돌기
 인자가 여럿일 때
 여러 갈래로 되돌기
 서로 부르며 되돌기mutual recursion
되도는 함수 정의를 위한 도움말
[살펴보기]
 [연습문제]

7 함수를 주고받는higher-order 함수
 기본 개념
 리스트 다루기
foldr 함수
foldl 함수
 함수 합성 연산자
 글줄string 전송기
[살펴보기]
 [연습문제]

8 함수형 문법 분석기 functional parser
문법 분석기parser
문법 분석기 타입
 기본 문법 분석기
 순서대로 엮기sequencing
선택choice
간단한 문법 분석기 이끌어내기
 빈칸 처리
 산술식 문법 분석하기
[살펴보기]
 [연습문제]

 

9 대화식interactive 프로그램
 대화interaction
입출력 타입
 기본 동작basic action
순서대로 엮기sequencing
간단한 동작 이끌어내기
 계산기
 생명 게임game of life
 [살펴보기]
 [연습문제]

 

10 타입과 클래스 선언
 타입 선언
 데이터 선언
 되도는 타입
 늘 참tautology 검사기
 추상 기계abstract machine
클래스와 인스턴스 선언
[살펴보기]
 [연습문제]

 

11 카운트다운 문제 countdown problem
소개
 문제를 수식으로 정리하기
 짐승같이 무식한brute-force 풀이
 생성generation하면서 계산evaluation하기
 대수적 성질을 이용하기
[살펴보기]
 [연습문제]

 

12 느긋한 계산법lazy evaluation
소개
 계산 방식evaluation strategy
끝남termination
줄이기reduction 횟수
 무한 구조infinite structure
모듈 방식modular 프로그래밍
 깐깐한 적용strict application
 [살펴보기]
 [연습문제]

 

13 프로그램에 대한 논리적 증명
 등식 바탕의 논증equational reasoning
하스켈 프로그램에 대한 논증
 간단한 보기들
 자연수에 대한 귀납법
 리스트에 대한 귀납법
 이어붙이기 연산자 없애기
 번역기 정확성compiler correctness
 [살펴보기]
 [연습문제]

 [부록] A 표준 서막standard prelude
클래스class
논리값logical value
글자character와 글줄string
수number
순서쌍tuples
아마도Maybe
리스트list
함수function
입출력input/output

 [부록] B 기호표 및 Hugs 명령어

[부록] C 번역 용례

[참고문헌]

 [Index]