Haskell函数式编程基础

Haskell函数式编程基础

(英) 汤普森 (Thompson,S.) , 著

出版社:科学出版社

年代:2013

定价:138.0

书籍简介:

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

书籍规格:

书籍详细信息
书名Haskell函数式编程基础站内查询相似图书
丛书名国外信息科学与技术优秀图书系列
9787030379375
如需购买下载《Haskell函数式编程基础》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位科学出版社
版次1版印次1
定价(元)138.0语种英文
尺寸24 × 17装帧平装
页数 600 印数

书籍信息归属:

Haskell函数式编程基础是科学出版社于2013.6出版的中图分类号为 TP311.1 的主题关于 函数-程序设计-英文 的书籍。