互联网
类型
6.1
豆瓣评分
可以朗读
语音朗读
379千字
字数
2014-03-01
发行日期
展开全部
主编推荐语
本书既适合对Hasell和函数式编程感兴趣的程序员阅读，又适合作为Haskell语言入门教程，供计算机科学与数学专业的学生参考。
内容简介
本书是一本讲解Haskell这门经过精心设计和锤炼的纯函数式编程语言的书，同时也是一本通过Haskell来讲解函数式编程的方法与思想的书。全书共分三个部分。第一部分介绍函数式编程在解决数学与算法问题的精简与直观的特色，让不熟悉Haskell的读者对其建立初步的了解，同时通过解决一些算法问题，如裴波那契数列、八皇后问题、排序问题、24点等，引发一些对函数式编程方式的思考；第二部分介绍一些略微深入的Haskell内容，包括函子、Monoid、IO与Monad转换器等；最后一部分则涉及快速测试、惰性求值和并行编程等主题。
目录
- 版权信息
- 其他
- 前言
- 致谢
- 第1章 Haskell简介
- 1.1 Haskell的由来
- 1.2 Haskell编译器的安装以及编写环境
- 1.3 GHCi的使用
- 1.4 .hs和.lhs文件、注释与库函数
- 1.5 第一个Haskell程序HelloWorld!
- 第2章 类型系统和函数
- 2.1 Haskell的类型与数据
- 2.2 Haskell中的类型类
- 2.3 Haskell中的函数
- 2.4 Haskell中的表达式
- 第3章 基于布尔值的函数
- 3.1 关键字module与import简介
- 3.2 简易布尔值的函数
- 3.3 与非门和或非门
- 第4章 库函数及其应用
- 4.1 预加载库函数
- 4.2 字符与位函数库简介
- 第5章 递归函数
- 5.1 递归函数的概念
- 5.2 简单递归函数
- 5.3 扩展递归与尾递归
- 5.4 互调递归
- 5.5 麦卡锡的91函数
- 5.6 斐波那契数列
- 5.7 十进制数字转成罗马数字
- 5.8 二分法查找
- 5.9 汉诺塔
- 5.10 排序算法
- 5.11 递归基本条件与程序终止
- 5.12 递归与不动点
- 5.13 无基本条件递归和惰性求值
- 第6章 列表内包
- 6.1 列表生成器
- 6.2 素数相关趣题
- 6.3 凯撒加密
- 6.4 排列与组合问题
- 6.5 八皇后问题
- 6.6 计算矩阵乘法
- 6.7 最短路径算法与矩阵乘法
- 第7章 高阶函数与复合函数
- 7.1 简单高阶函数
- 7.2 折叠函数foldr与foldl
- 7.3 mapAccumL与mapAccumR函数
- 7.4 复合函数
- 第8章 定义数据类型
- 8.1 数据类型的定义
- 8.2 类型的同构
- 8.3 使用newtype定义类型
- 8.4 数学归纳法的有效性
- 8.5 树
- 8.6 卡特兰数问题
- 8.7 霍夫曼编码
- 8.8 解24点
- 8.9 Zipper
- 8.10 一般化的代数数据类型
- 8.11 类型的kind
- 第9章 定义类型类
- 9.1 定义类型类
- 9.2 Haskell中常见类型类
- 9.3 类型类中的类型依赖
- 9.4 类型类中的关联类型
- 9.5 定长列表
- 9.6 运行时重载
- 9.7 Existential类型
- 第10章 Monad初步
- 10.1 Monad简介
- 10.2 从Identity Monad开始
- 10.3 MaybeMonad
- 10.4 Monad定律
- 10.5 列表Monad
- 10.6 Monad相关运算符
- 10.7 MonadPlus
- 10.8 Functor、Applicative与Monad的关系
- 第11章 系统编程及输入/输出
- 11.1 不纯函数与副作用
- 11.2 IO Monad
- 11.3 输入/输出处理
- 11.4 星际译王词典
- 11.5 简易异常处理
- 11.6 Haskell中的时间
- 第12章 记录器Monad、读取器Monad、状态Monad
- 12.1 记录器Monad
- 12.2 读取器Monad
- 12.3 状态Monad
- 12.4 随机数的生成
- 第13章 Monad转换器
- 13.1 从IdentityT Monad转换器开始
- 13.2 Monad转换器组合与复合Monad的区别
- 13.3 Monad转换器的组合顺序
- 13.4 lift与liftIO
- 13.5 简易Monad编译器
- 13.6 语法分析器Monad组合子
- 第14章 QuickCheck简介
- 14.1 测试函数属性
- 14.2 测试数据生成器
- 第15章 惰性求值简介
- 15.1 λ演算简介
- 15.2 ⊥Bottom
- 15.3 表达式形态和thunk
- 15.4 求值策略
- 15.5 惰性求值
- 15.6 严格模式匹配与惰性模式匹配
- 第16章 并行与并发编程
- 16.1 确定性的并行计算
- 16.2 轻量级线程
- 16.3 软件事务内存
- 16.4 异步并发库简介
- 参考文献
- 后记
展开全部
评分及书评
尚无评分
目前还没人评分
出版方
人民邮电出版社
人民邮电出版社是工业和信息化部主管的大型专业出版社，成立于1953年10月1日。人民邮电出版社坚持“立足信息产业、面向现代社会、传播科学知识、服务科教兴国”，致力于通信、计算机、电子技术、教材、少儿、经管、摄影、集邮、旅游、心理学等领域的专业图书出版。
