하스켈 프로그래밍의 도서의 역자인 [안기영氏]께서 운영을 하고 있는 웹사이트에서 본 도서의 오탈자 및 다양한 게시글을 확인할 수 있습니다.
http://pl.pusan.ac.kr/~haskell/wiki/FrontPage
===========================================================================================
이 입문서는 처음 프로그래밍을 배우는 사람에게 가장 적합한 책이다.
프로그래밍 경험이 전혀 없는 사람도 이해할 수 있도록 모든 개념을 기초부터 차근차근 엄선된 예제를 곁들여 설명한다. 각 장에는 아주 간단한 문제부터 책에서 다루는 프로젝트를 확장하는 데 이르기까지 다양한 난이도의 연습문제를 제공할 뿐 아니라, 고급 주제에 대한 더 읽을거리도 추천하고 있다. 저자는 여러 해 동안 강의한 경험을 바탕으로 분명하고 간결하게 내용을 표현하고 있다.
이 책의 특징은 다음과 같다.
NO1. 강사와 학생들을 위해 PPT 슬라이드 및 연습문제 모범답안을 하스켈 홈페이지에서 제공한다.
NO2. 강사들은 이 책으로 진행하는 수업의 시험문제 샘플을 (모범답안과 함께) 요청할 수 있다.
NO3. 책에서 다루는 코드는 모두 최근 하스켈 구현에서 잘 동작하며 홈페이지에서 받을 수 있다.
NO4. 강의 능력이 검증된 저명한 하스켈 연구자이자 강사인 그라함 허튼 교수가 직접 집필하였다.
☞ 옥스포드 대학의 리처드 버드(Richard Bird) 교수는 이 책을 다음과 같이 극찬하고 있다.
"이 책은 초심자를 위한 입문서로 하스켈로 함수형 프로그래밍에 대해 아주 잘 소개하는 책입니다. 일류 강사이자 연구자가 저술한 책답게 책의 내용이 독자들의 시선을 확 잡아끌면서도 군더더기가 없이 가벼운 구성으로 대학 1학년 신입생에게도 무리가 없을 만큼 대학생들의 수준에 눈높이를 잘 맞추었습니다. 이 책을 전적으로 추천합니다."
목차
머리말
옮긴이 머리말
추천사
---------------------------------------
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]
