没有合适的资源?快使用搜索试试~ 我知道了~
Haskell The Craft of Functional Programming 2nd edition
4星 · 超过85%的资源 需积分: 10 25 下载量 14 浏览量
2013-05-08
06:35:20
上传
评论 2
收藏 13.02MB PDF 举报
温馨提示
试读
504页
Haskell是目前比较流行的Functional language,与C++等冯诺依曼语言不同的是,Functional language的变量被赋值以后不能被修改,所以语言的副作用很小。 本书是国外大学教材,但版本不是最新,不是高清。共20章,但目录只到10章。只要1分,评论后可以分值可以加回。
资源推荐
资源详情
资源评论
Haskell
The
Craft of
Functional
Proa
ramming
Second
edition
Simon
Thompson
Addison-Wesley
An
imprint
of
Pearson
Education
Harlow, England
.
London
.
New York Reading, Massachusetts
-
San Francisco. Toronto
.
Don Mills, Ontario
.
Sydney
Tokyo. Singapore
.
Hong Kong
.
Seoul
.
Taipei
.
Cape Town
.
Madrid
.
Mexico
City .
Amsterdam
.
Munich
.
Paris
.
Milan
To
Alice
and
Rory
Contents
Preface
1
Introducing functional programming
Computers and modelling
What
is
a function?
Pictures and functions
TY pes
The Haskell programming language
Expressions and evaluation
Definitions
Function definitions
Looking forward: a model of pictures
Proof
Types and functional programming
Calculation and evaluation
2
Getting started with Haskell and Hugs
2.1
A
first Haskell program
2.2 Using Hugs
2.3
The standard prelude and the Haskell libraries
2.4 Modules
2.5
A
second example:
Pictures
2.6 Errors and error messages
xii
3
Basic types and definitions
vii
viii
Contents
3.1 The Booleans:
Boo1
3.2 The integers:
Int
3.3
Overloading
3.4 Guards
3.5 The characters:
Char
3.6 Floating-point numbers:
Float
3.7 Syntax
4
Designing and
writing
programs
4.1
Where
do
I
start? Designing a program in Haskell
4.2 Recursion
4.3 Primitive recursion in practice
4.4 General forms of recursion
4.5 Program testing
5
Data types: tuples and lists
5.1
Introducing tuples, lists and strings
5.2 Tuple types
5.3 Our approach to lists
5.4 Lists in Haskell
5.5 List comprehensions
5.6
A
library database
5.7 Generic functions: polymorphism
5.8
Haskell list functions in
Prelude.
hs
5.9 The
string
type
6
Programming
with
lists
6.1 The
Picture
example, revisited
6.2 Extended exercise: positioned pictures
6.3 Local definitions
6.4 Extended exercise: supermarket billing
7
Defining functions over lists
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
Reasoning about programs
8.1 Understanding definitions
8.2 Testing and proof
剩余503页未读,继续阅读
资源评论
- 学生爸爸2018-10-09还可以,哈哈哈
unicellmo
- 粉丝: 0
- 资源: 5
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 将dbc内的信息转化到Excel的脚本
- J-Flash、JLink-Windows-V796g
- C++开发基于ROS实现多差速无人车编队控制源码+使用说明+详细注释.zip
- ini格式不加密(1).ini
- OpenPose-基于Pytorch实现OpenPose算法-支持手部和人体姿态估计-附流程教程+项目源码-优质项目分享.zip
- Android中国象棋源码
- 球状石墨铸铁管细分市场、总体规模、先进性、市占率行业分析报告2024年(目录版)
- Spire.Doc for Java 11.4.2 全功能无限制
- Spire.Doc for Java 11.4.2 全功能无限制
- Spire.Doc for Java 11.4.2 全功能无限制
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功