Haskell函数式程序设计

Haskell函数式程序设计
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: [英] ,
2016-03
版次: 1
ISBN: 9787111529323
定价: 69.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 233页
字数: 195千字
原版书名: Thinking Functionally with Haskell
62人买过
  •   本书通过Haskell语言介绍函数式程序设计的基本思想和方法,讲解如何将数学思维应用于程序设计问题,以实现更高效的计算。本书涵盖Haskell的诸多特性,但并不是这门语言的参考指南,而是旨在利用丰富的实例和练习揭示函数式程序设计的本质。本书不要求读者具备程序设计基础,所涉及的数学知识也并不高深,既适合初学者阅读,也适合有经验的程序员参考。   理查德·伯德(RichardBird)牛漳大学计算机实验室的荣誉退休教授,牛津大学林肯学院的研究员。他的著述颇丰,包括《AlgebraofProgramming》(PrenticeHall,1996)和《PearlsOfFunctionalALgorithmDesign》(CambridgeUniversityPress,2010)。 出版者的话

    译者序

    前言

    第1章何谓函数式程序设计1

    1.1函数和类型1

    1.2函数复合2

    1.3例子:高频词2

    1.4例子:数字转换为词5

    1.5Haskell平台8

    1.6习题9

    1.7答案11

    1.8注记13

    第2章表达式、类型和值15

    2.1GHCi会话15

    2.2名称和运算符17

    2.3求值18

    2.4类型和类族20

    2.5打印值22

    2.6模块24

    2.7Haskell版面24

    2.8习题25

    2.9答案29

    2.10注记32

    第3章数33

    3.1类族Num33

    3.2其他数值类族33

    3.3取底函数的计算35

    3.4自然数37

    3.5习题39

    3.6答案40

    3.7注记41

    第4章列表42

    4.1列表记法42

    4.2枚举43

    4.3列表概括43

    4.4一些基本运算45

    4.5串联46

    4.6函数cancat、map和filter46

    4.7函数zip和zipWith49

    4.8高频词的完整解50

    4.9习题52

    4.10答案55

    4.11注记58

    第5章一个简单的数独求解器59

    5.1问题说明59

    5.2合法程序的构造63

    5.3修剪选择矩阵64

    5.4格子的扩展67

    5.5习题70

    5.6答案71

    5.7注记72

    第6章证明73

    6.1自然数上的归纳法73

    6.2列表归纳法74

    6.3函数foldr78

    6.4函数foldl81

    6.5函数scanl83

    6.6最大连续段和问题84

    6.7习题87

    6.8答案90

    6.9注记96第7章效率977.1惰性求值97

    7.2空间的控制100

    7.3运行时间的控制103

    7.4时间分析104

    7.5累积参数106

    7.6元组109

    7.7排序112

    7.8习题115

    7.9答案117

    7.10注记120

    第8章精美打印121

    8.1问题背景121

    8.2文档122

    8.3一种直接实现125

    8.4例子126

    8.5最佳格式128

    8.6项表示129

    8.7习题133

    8.8答案135

    8.9注记139

    第9章无穷列表140

    9.1复习140

    9.2循环列表141

    9.3作为极限的无穷列表143

    9.4石头剪刀布147

    9.5基于流的交互151

    9.6双向链表152

    9.7习题154

    9.8答案156

    9.9注记158

    第10章命令式函数式程序设计159

    10.1IO单子159

    10.2更多的单子162

    10.3状态单子165

    10.4ST单子167

    10.5可变数组169

    10.6不变数组173

    10.7习题175

    10.8答案178

    10.9注记183

    第11章句法分析184

    11.1单子句法分析器184

    11.2基本分析器186

    11.3选择与重复187

    11.4语法与表达式190

    11.5显示表达式192

    11.6习题194

    11.7答案196

    11.8注记198

    第12章一个简单的等式计算器199

    12.1基本思想199

    12.2表达式203

    12.3定律206

    12.4计算208

    12.5重写210

    12.6匹配211

    12.7代换213

    12.8测试计算器214

    12.9习题221

    12.10答案222

    12.11注记224

    索引225

  • 内容简介:
      本书通过Haskell语言介绍函数式程序设计的基本思想和方法,讲解如何将数学思维应用于程序设计问题,以实现更高效的计算。本书涵盖Haskell的诸多特性,但并不是这门语言的参考指南,而是旨在利用丰富的实例和练习揭示函数式程序设计的本质。本书不要求读者具备程序设计基础,所涉及的数学知识也并不高深,既适合初学者阅读,也适合有经验的程序员参考。
  • 作者简介:
      理查德·伯德(RichardBird)牛漳大学计算机实验室的荣誉退休教授,牛津大学林肯学院的研究员。他的著述颇丰,包括《AlgebraofProgramming》(PrenticeHall,1996)和《PearlsOfFunctionalALgorithmDesign》(CambridgeUniversityPress,2010)。
  • 目录:
    出版者的话

    译者序

    前言

    第1章何谓函数式程序设计1

    1.1函数和类型1

    1.2函数复合2

    1.3例子:高频词2

    1.4例子:数字转换为词5

    1.5Haskell平台8

    1.6习题9

    1.7答案11

    1.8注记13

    第2章表达式、类型和值15

    2.1GHCi会话15

    2.2名称和运算符17

    2.3求值18

    2.4类型和类族20

    2.5打印值22

    2.6模块24

    2.7Haskell版面24

    2.8习题25

    2.9答案29

    2.10注记32

    第3章数33

    3.1类族Num33

    3.2其他数值类族33

    3.3取底函数的计算35

    3.4自然数37

    3.5习题39

    3.6答案40

    3.7注记41

    第4章列表42

    4.1列表记法42

    4.2枚举43

    4.3列表概括43

    4.4一些基本运算45

    4.5串联46

    4.6函数cancat、map和filter46

    4.7函数zip和zipWith49

    4.8高频词的完整解50

    4.9习题52

    4.10答案55

    4.11注记58

    第5章一个简单的数独求解器59

    5.1问题说明59

    5.2合法程序的构造63

    5.3修剪选择矩阵64

    5.4格子的扩展67

    5.5习题70

    5.6答案71

    5.7注记72

    第6章证明73

    6.1自然数上的归纳法73

    6.2列表归纳法74

    6.3函数foldr78

    6.4函数foldl81

    6.5函数scanl83

    6.6最大连续段和问题84

    6.7习题87

    6.8答案90

    6.9注记96第7章效率977.1惰性求值97

    7.2空间的控制100

    7.3运行时间的控制103

    7.4时间分析104

    7.5累积参数106

    7.6元组109

    7.7排序112

    7.8习题115

    7.9答案117

    7.10注记120

    第8章精美打印121

    8.1问题背景121

    8.2文档122

    8.3一种直接实现125

    8.4例子126

    8.5最佳格式128

    8.6项表示129

    8.7习题133

    8.8答案135

    8.9注记139

    第9章无穷列表140

    9.1复习140

    9.2循环列表141

    9.3作为极限的无穷列表143

    9.4石头剪刀布147

    9.5基于流的交互151

    9.6双向链表152

    9.7习题154

    9.8答案156

    9.9注记158

    第10章命令式函数式程序设计159

    10.1IO单子159

    10.2更多的单子162

    10.3状态单子165

    10.4ST单子167

    10.5可变数组169

    10.6不变数组173

    10.7习题175

    10.8答案178

    10.9注记183

    第11章句法分析184

    11.1单子句法分析器184

    11.2基本分析器186

    11.3选择与重复187

    11.4语法与表达式190

    11.5显示表达式192

    11.6习题194

    11.7答案196

    11.8注记198

    第12章一个简单的等式计算器199

    12.1基本思想199

    12.2表达式203

    12.3定律206

    12.4计算208

    12.5重写210

    12.6匹配211

    12.7代换213

    12.8测试计算器214

    12.9习题221

    12.10答案222

    12.11注记224

    索引225

查看详情
系列丛书 / 更多
Haskell函数式程序设计
Java编程思想(第4版)
[美]Bruce Eckel 著;陈昊鹏 译
Haskell函数式程序设计
数据挖掘:概念与技术(原书第3版)
[美]Jiawei、[美]Micheling、[美]Jian Pei 著;范明、孟小峰 译
Haskell函数式程序设计
算法导论(原书第3版)
[美]Thomas、[美]Charles、[美]Ronald、[美]Clifford Stein 著;殷建平、徐云、王刚 译
Haskell函数式程序设计
数据结构与算法分析:Java语言描述
[美]马克·艾伦·维斯 著;陈越 译
Haskell函数式程序设计
C程序设计语言(第二版)
[美]Brian(布莱恩·克尼汉)、[美]Dennis M.Ritchie(丹尼斯·里奇) 著;徐宝文、李志 译
Haskell函数式程序设计
C程序设计语言(第2版·新版) 习题解答
吉米拜尔 著;杨涛 译;[美]汤朵
Haskell函数式程序设计
计算机科学丛书·云计算:概念、技术与架构
[美]Thomas、[英]Zaigham、[巴西]Ricardo Puttini 著;龚奕利、贺莲、胡创 译
Haskell函数式程序设计
数据库系统概念:(原书第6版)
[美]Abraham、Henry、S.Sudarshan 著;杨冬青、李红燕、唐世渭 译
Haskell函数式程序设计
深入理解计算机系统(原书第3版)
[美]兰德尔 E.布莱恩特(Randal E.·Bryant) 著;龚奕利、贺莲 译
Haskell函数式程序设计
编译原理:原理、技术与工具
[美]阿霍 著;赵建华 译
Haskell函数式程序设计
计算机科学导论:原书第3版
[美]Behrouz Forouzan 著;刘艺 译
Haskell函数式程序设计
软件工程:实践者的研究方法(原书第8版 本科教学版)
[美]罗杰 S. 普莱斯曼 著;郑人杰、马素霞 译
相关图书 / 更多
Haskell函数式程序设计
Hadoop 3大数据部署与数据分析实战
李昌庆
Haskell函数式程序设计
Hamming码与纠错码
刘培杰数学工作室
Haskell函数式程序设计
Hadwiger定理
刘培杰数学工作室
Haskell函数式程序设计
Hadoop数据分析与应用 胡志朋主编;湖北美和易思教育科技有限公司编著
湖北美和易思教育科技有限公司 编著;胡志朋 主编
Haskell函数式程序设计
Hadoop核心技术与实战 王雷,周少珂主编
周少珂 主编;王雷
Haskell函数式程序设计
Hadoop应用与开发
柳义筠王志刘小园 主编
Haskell函数式程序设计
Hadamard行列式与Hadamard矩阵(精)/现代数学中的著名定理纵横谈丛书
王梓坤 主编;刘培杰数学工作室 编者;责编:刘立娟
Haskell函数式程序设计
Hadoop大数据技术原理与应用
彭阳 主编;周宪章
Haskell函数式程序设计
Hadoop核心技术及其在防灾减灾中的应用
作者
Haskell函数式程序设计
Hadoop技术原理与案例教程 微课版 韩玉民,郭丽 编
郭丽 编;韩玉民
Haskell函数式程序设计
Hadoop大数据开发实例教程
喻衣鑫
Haskell函数式程序设计
Hadoop大数据集群部署及数据存储项目化教程
作者
您可能感兴趣 / 更多
Haskell函数式程序设计
极北森林:移动的林木线 生物科学
[英]本·罗伦斯
Haskell函数式程序设计
战争事典086:沙漠装甲:北非坦克战——1940年至1941年从贝达富姆到十字军 外国军事 [英]罗伯特·a.福尔奇克
[英]罗伯特·a.福尔奇克
Haskell函数式程序设计
勃朗特插画书信集(通贩版) 外国现当代文学
[英]沈语冰主朱丽叶·加迪纳 编
Haskell函数式程序设计
简·奥斯汀插画书信集(通贩版) 外国现当代文学
[英]沈语冰主佩内洛普·休斯—哈利特 编
Haskell函数式程序设计
拉斐尔前派插画书信与记(通贩版) 外国现当代文学
[英]沈语冰主简·马什 编
Haskell函数式程序设计
凡·高普罗旺斯插画书信集(通贩版) 外国现当代文学
[英]沈语冰主马丁·贝利 编
Haskell函数式程序设计
弗吉尼亚·伍尔夫插画书信集(通贩版) 外国现当代文学
[英]沈语冰主弗朗西斯·斯伯丁 编
Haskell函数式程序设计
dk地图上的人类史:我们从哪里来 外国历史 英国dk公司
[英]dk公司
Haskell函数式程序设计
德国人眼中的欧战胜利日 纳粹德国的终失败
[英]乔纳森·特里格著小小冰人 译
Haskell函数式程序设计
复杂系统的模糊网络
[英]亚历山大·吉戈夫(AlexanderGegov);王小巍
Haskell函数式程序设计
胆大又胆小的冒险家(中英双语拼音版)/好玩好笑的一家人
[英]劳伦斯·安荷特 著
Haskell函数式程序设计
塞尔达传说视觉艺术史
[英]未来出版社著李玫霏 译