Haskell函数式编程基础

Preface

1 Introducing functional programming

1.1 Computers and modelling

1.2 What is a function?

1.3 Pictures and functions

1.4 Types

1.5 The Haskell programming language

1.6 Expressions and evaluation

1.7 Definitions

1.8 Function definitions

1.9 Types and functional programming

1.10 Calculation and evaluation

1.11 The essence of Haskell programming

1.12 Domain-specific languages

1.13 Two models of Pictures

1.14 Tests, properties and proofs

2 Getting started with Haskell and GHCi

2.1 A first Haskellprogram

2.2 Using Haskell in practice

2.3 UsingGHCi

2.4 The standard prelude and the Haskelllibraries

2.5 Modules

2.6 A second example: pictures

2.7 Errors and error messages

3 Basic types and definitions

3.1 The Booleans: Bool

3.2 The integers: Integer and Int

3.3 Overloading

3.4 Guards

3.5 Characters and strings

3.6 Floating-point numbers: Float

3.7 Syntax

4 Designing and writing programs

4.1 Where do / startl Designing a program in Haskell

4.2 Solving a problem in steps: local definitions

4.3 Defining types for ourselves: enumerated types

4.4 Recursion

4.5 Ptimitive recursion in practice

4.6 Extended exercise: pictures

4.7 General forms of recursion

4.8 Program testing

5 Data types,tuples andlists

5.1 Introducing tuples and lists

5.2 Tupletypes

5.3 Introducing algebraic types

5.4 Our approach to lists

5.5 Lists in Haskell

5.6 List comprehensions

5.7 A library database

6 Programming with lists

6.1 Generic functions: polymorphism

6.2 Haskell list functions in the Prelude

6.3 Finding your way around the Haskell libraries

6.4 The Picture example:implementation

6.5 Extended exercise: alternative implementations of pictures

6.6 Extended exercise: positioned pictures

6.7 Extended exercise: supermarket billing

6.8 Extended exercise: cards and card games

7 Definingfunctionsoverlists

7.1 Pattern matching revisited

7.2 Lists and list patterns

7.3 Primitive recursion over lists

7.4 Finding primitive recursive definitions

7.5 General recursions over lists

7.6 Example: text processing

8 Playing the game: I/O in Haskell

8.1 Rock - Paper - Scissors: strategies

8.2 Why is I/O an issue?

8.3 The basics of inpuUoutput

8.4 The do notation

……

9 Reasoning about programs

10 Generalization: patterns ofcomputation

11 Higher-order functions

12 Developing higher-order programs

13 Overloading, type classes and type checking

14 Algebraic types

15 Case study: Huffman codes

16 Abstract data types

17 Lazy programming

18 Programming with monads

19 Domain-specificlanguages

20 Time and space behaviour

21 Conclusion

Appendices

A Functional,imperative and OO programming

B Glossary

C Haskelloperators

D Haskellpracticalities

E GHCierrors

F Projectideas

Bibliography

Index

《Haskell函数式编程基础（第3版）》是一本非常优秀的Haskell函数程序设计的入门书，依次介绍了函数程序设计的基本概念、编译器和解释器、函数的各种定义方式、简单程序的构造、多态和高阶函数、诸如数组和列表的结构化数据、列表上的原始递归和推理、输入输出I/O的控制处理、类型分类与检测方法、抽象数据类型、惰性计算等内容。书中包含大量的实例和习题，注重程序证明和问题求解，易读易学。全书循序渐进，从基本的函数程序设计直至高级专题，让读者对Haskell的学习不断深入。