Clojure编程乐趣第2版

图书标准信息

• 作者 艾广、郑晔 译；Michael、Fogus、福格斯、Chris、Houser 著
• 出版社 人民邮电出版社
• 出版时间 2017-03
• 版次 1
• ISBN 9787115443298
• 定价 89.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 442页
• 字数 99999千字
• 正文语种 简体中文

【内容简介】

这既不是一本Clojure初学指南，也不是一本Clojure的编程操作手册。本书通过对Clojure详尽地探究，讲述函数式的程序设计方式，帮助读者理解和体会Clojure编程的乐趣，进而开发出优美的软件。

全书分为6个部分共17章。第1部分是基础，包括第1～3章，从Clojure背后的思想开始，介绍了Clojure的基础知识，并带领读者初步尝试Clojure编程。第2部分是第4章和第5章，介绍了Clojure的各种数据类型。第3部分是第6章和第7章，介绍了函数式编程的特性。第4部分是第8章～11章，分别介绍了宏、组合数据域代码、Clojure对Java的调用，以及并发编程等较为高级的话题。第5部分为第12章和第13章，探讨了Clojure的性能问题及其带给我们的思考。第6部分为第14~17章，介绍了面向数据编程、性能、思考程序以及Clojure的思考方式。

本书适合想要转向函数式语言或进行并发编程的程序员阅读，对JVM平台编程感兴趣的程序员，想要学习中高级的Java程序以及Clojure的读者，均能够从中获益。

【作者简介】

Michael Fogus 和Chris Houser 是Clojure 和ClojureScript

编程语言的贡献者，而是各种Clojure 库和语言特性的编写者。

【目录】

第1部分 基 础

第1章　Clojure哲学 3

1．1　Clojure之道 4

1．1．1　简单 4

1．1．2　专注 5

1．1．3　实用 5

1．1．4　清晰 6

1．1．5　一致 7

1．2　为何（又一种）Lisp 8

1．2．1　优美 8

1．2．2　极度灵活 9

1．3　函数式编程 15

1．3．1　一个可行的函数式编程

定义 15

1．3．2　函数式编程的内涵 16

1．4　Clojure为何不是面向

对象的 16

1．4．1　定义术语 16

1．4．2　命令式“烘烤” 18

1．4．3　OOP提供的大多数东西，

Clojure也有 18

1．5 小结 23

第2章 Clojure疾风式教程 24

2．1　基本数据类型 25

2．1．1　数字 25

2．1．2　整数 25

2．1．3　浮点数 26

2．1．4　有理数 26

2．1．5　符号 27

2．1．6　关键字 27

2．1．7　字符串 27

2．1．8　字符 28

2．2　组合起来：集合 28

2．2．1　list 28

2．2．2　vector 29

2．2．3　map 29

2．2．4　set 29

2．3　付诸实现：函数 29

2．4　var 30

2．5　函数 30

2．5．1　匿名函数 31

2．5．2　使用def和defn定义命名

函数 31

2．5．3　不同参数数量的函数 32

2．5．4　以#()定义原位（in-place）

函数 33

2．6　局部量、循环和block 33

2．6．1　block 34

2．6．2　局部量 34

2．6．3　循环 35

2．7　防止发生：quote 37

2．7．1　求值 37

2．7．2　Quoting 38

2．7．3　反quote 40

2．7．4　反quote拼接 41

2．7．5　auto-gensym 41

2．8　与Java互操作 41

2．8．1　访问静态类成员（仅限于

Clojure） 41

2．8．2　创建Java实例 42

2．8．3　用．运算符访问Java实例

成员 42

2．8．4　设置Java实例属性 43

2．8．5　．．宏 43

2．8．6　doto宏 44

2．8．7　定义类 44

2．9　异常环境 44

2．10　命名空间 45

2．10．1　用ns创建命名空间 45

2．10．2　用：require加载其他命名

空间 46

2．10．3　用：refer加载和创建

映射 47

2．10．4　用：refer创建映射 47

2．10．5　用：import加载Java类 48

2．11 小结 48

第3章 小试牛刀 49

3．1　真值 50

3．1．1　什么是真 50

3．1．2　不要创建布尔对象 50

3．1．3　nil vs． false 51

3．2　小心翼翼nil双关 51

3．3　解构 53

3．3．1　你的任务，你应该选择

接受 53

3．3．2　解构vector 53

3．3．3　解构map 55

3．3．4　解构函数参数 57

3．3．5　解构vs．访问器方法 57

3．4　用REPL做试验 57

3．4．1　试验seq 57

3．4．2　试验图形化 59

3．4．3　知识汇总 60

3．4．4　出错之时 61

3．4．5　只为乐趣 62

3．5　小结 63

第2部分 数 据 类 型

第4章 标量 67

4．1　理解精度 68

4．1．1　截断（Truncation） 68

4．1．2　提升（Promotion） 69

4．1．3　上溢（Overflow） 69

4．1．4　下溢（Underflow） 70

4．1．5　舍入错误（Rounding 

errors） 70

4．2　有理数 71

4．2．1　为什么是有理数 71

4．2．2　怎样才是有理数 72

4．2．3　有理数的合理性 73

4．3　使用关键字的时机 73

4．3．1　关键字的应用 73

4．3．2　限定关键字 75

4．4　符号解析 76

4．4．1　元数据 77

4．4．2　符号与命名空间 78

4．4．3　Lisp-1 78

4．5　正则表达式——第二个

问题 79

4．5．1　语法 79

4．5．2　函数 80

4．5．3　小心可变匹配器

（matcher） 81

4．6 总结 81

第5章 组合数据类型 82

5．1　持久化、序列和

复杂度 83

5．1．1 “你一直用着这个词。我认

为，这并不意味着它就是你

以为的含义” 83

5．1．2　序列术语及其含义 84

5．1．3　大O 87

5．2　vector：创建和使用其各种

变体 89

5．2．1　构建vector 89

5．2．2　大vector 90

5．2．3　vector当作栈 93

5．2．4　使用vector而非reverse 94

5．2．5　子vector 95

5．2．6　vector当作MapEntry 95

5．2．7　vector不是什么 96

5．3　list：Clojure代码form的

数据结构 97

5．3．1　像Lisp那样的list 97

5．3．2　list当作栈 98

5．3．3　list不是什么 98

5．4　如何使用持久化队列 99

5．4．1　什么都没有的队列 99

5．4．2　入队 100

5．4．3　获取 101

5．4．4　出队 101

5．5　持久化set 101

5．5．1　Clojure set的基本

属性 101

5．5．2　用sorted-set保持set的

顺序 103

5．5．3　contains 103

5．5．4　clojure．set 104

5．6　思考map 106

5．6．1　hash map 106

5．6．2　以有序map保持键值的

顺序 107

5．6．3　用数组map保持插入

顺序 108

5．7　知识汇总：在序列里查找

某项的位置 109

5．8　小结 111

第3部分 函数式编程

第6章 惰性与不变性 115

6．1　关于不变性：按照自己的

方式去使用 115

6．1．1　什么是不变性？ 116

6．1．2　不变性可以做什么？ 116

6．2　设计一个持久化

玩具 118

6．3　惰性 121

6．3．1　以“逻辑与”熟悉惰性 122

6．3．2　理解lazy-seq的秘诀 123

6．3．3　丢掉头 126

6．3．4　采用无限序列 126

6．3．5　delay和force宏 128

6．4　知识汇总：一个惰性的

快速排序程序 130

6．4 小结 133

第7章 函数式编程 134

7．1　各种形式的函数 134

7．1．1　一等函数 135

7．1．2　高阶函数 138

7．1．3　纯函数 141

7．1．4　命名实参 143

7．1．5　使用前置条件和后置条件

约束函数 143

7．2　闭包 145

7．2．1　函数返回闭包 146

7．2．2　隐藏参数 147

7．2．3　将闭包当作函数传递 148

7．3　递归思考 152

7．3．1　普通递归 152

7．3．2　尾递归和recur 155

7．3．3　勿忘trampoline 157

7．3．4　延续传递风格 159

7．4　知识汇总：A*寻路 161

7．4．1　世界 161

7．4．2　近邻 161

7．4．3　A*实现 163

7．4．4　A*实现的笔记 165

7．5　小结 166

第4部分 大规模设计

第8章 宏 169

8．1　数据即代码即数据 170

8．1．1　语法quote、反quote和

拼接 171

8．1．2　宏之经验谈 173

8．2　定义控制结构 173

8．2．1　不用语法quote定义控制

结构 174

8．2．2　使用语法quote和反quote

定义控制结构 175

8．3　组合form的宏 176

8．4　使用宏改变form 177

8．5　使用宏控制符号解析

时间 181

8．5．1　回指 181

8．5．2 （可能）有用的选择性名字

捕获 182

8．6　使用宏管理资源 183

8．7　知识汇总：返回函数的

宏 184

8．8 小结 187

第9章 组合数据与代码 188

9．1　命名空间 188

9．1．1　创建命名空间 189

9．1．2　只暴露所需 191

9．1．3　声明性包含和排除 194

9．2　以通用设计模式探索

Clojure多重方法 194

9．2．1　组成部分 195

9．2．2　用法 196

9．2．3　以多重方法拯救 197

9．2．4　处理继承行为的特别

继承 197

9．2．5　解析层次中的冲突 198

9．2．6　真正的最大功率任意

分发 199

9．3 类型、协议和记录 200

9．3．1　记录 200

9．3．2　协议 203

9．3．3　用deftype从更原始的

基础开始构建 211

9．4　知识汇总：国际象棋

移动的流畅构建器 213

9．4．1　Java实现 213

9．4．2　Clojure实现 215

9．5 小结 217

第10章 变化和并发 218

10．1　使用Ref的时机 219

10．1．1　利用ref构建可变

棋盘 221

10．1．2　事务 223

10．1．3　嵌入式事务 225

10．1．4　STM使其简单的

事情 225

10．1．5　潜在缺陷 226

10．1．6　让STM不高兴的事 227

10．2　利用refs重构 228

10．2．1　解决棋盘例子 228

10．2．2　以commute进行可交换的

改变 230

10．2．3　以ref-set进行普通

改变 231

10．2．4　压力之下的Ref 232

10．3　使用Agent的时机 233

10．3．1　进程内并发模型vs分布式

并发模型 234

10．3．2　用Agent控制I/O 235

10．3．3　send和send-off之间的

差异 237

10．3．4　错误处理 239

10．3．5　何时不用Agent 241

10．4　使用Atom的时机 241

10．4．1　跨线程共享 242

10．4．2　在事务里使用Atom 242

10．5　使用lock的时机 244

10．5．1　使用锁进行安全

变化 245

10．5．2　使用Java的显式锁 246

10．6　var和动态绑定 248

10．6．1　binding宏 248

10．6．2　创建命名var 250

10．6．3　创建匿名var 251

10．6．4　动态作用域 251

10．7　小结 253

第11章 并行 254

11．1　使用future的时机 255

11．2　使用promise的

时机 259

11．2．1　以promise进行并行

任务 260

11．2．2　回调API到阻塞API 261

11．2．3　确定性死锁 262

11．3　并行 263

11．3．1　pvalues 263

11．3．2　pmap 263

11．3．3　pcalls 264

11．4　reduce/fold 264

11．5　小结 265

第5部分 宿主共生关系

第12章 Java．next 269

12．1　使用proxy动态生成

对象 270

12．2　Clojure gen-class和

GUI程序设计 277

12．2．1　命名空间作为类的

规范 277

12．2．2　命名空间编译内幕 280

12．2．3　以Clojure探索用户界面

设计与开发 281

12．3　Clojure同Java数组的

关系 284

12．3．1 数组的类型：原生与

引用 284

12．3．2　数组可变性 286

12．3．3　那个不幸的命名

约定 286

12．3．4　多维数组 287

12．3．5　调用可变方法/构造

函数 288

12．4　所有Clojure函数都

实现…… 288

12．4．1　java．util．Comparator 288

12．4．2　java．lang．Runnable 289

12．4．3　java．util．concurrent．

Callable 290

12．5　在Java API里使用

Clojure数据结构 290

12．5．1　java．util．List 291

12．5．2　java．lang．Comparable 291

12．5．3　java．util．RandomAccess 292

12．5．4　java．util．Collection 292

12．5．5　java．util．Set 293

12．6　definterface 293

12．7　慎用异常 295

12．7．1　一点异常的背景 296

12．7．2　运行时异常vs．编译时

异常 296

12．7．3　处理异常 298

12．7．4　定制异常 299

12．8　小结 300

第13章 ClojureScript 301

13．1　实现VS接口 302

13．2　编译器内部：分析和

发布 305

13．2．1　编译步骤 305

13．2．2　Web Audio 307

13．2．3　高级编译 311

13．2．4　生成extern．js文件 313

13．3　编译和运行 315

13．4　小结 319

第6部分 杂 项 考 量

第14章 面向数据编程 323

14．1　代码是代码，数据是

数据 323

14．1．1　严格的分界 324

14．1．2　ORMG 325

14．1．3　从数据中获取信息的

一般方式 326

14．1．4　PLOP 327

14．2　数据就是数据 327

14．2．1　值的好处 328

14．2．2　标签符号 332

14．3　数据就是代码 335

14．3．1　数据可编程引擎 335

14．3．2　可编程数据引擎的

例子 336

14．3．3　例子：简单的事件

来源 337

14．4 代码就是数据，也是

代码 345

14．4．1 哈特的发现和

同像性 346

14．4．2 Clojure代码就是

数据 346

14．4．3 规范括号 346

14．5 小节 349

第15章 性能 351

15．1　类型提示 352

15．1．1　类型修饰的优势 352

15．1．2　类型提示实参和

返回值 352

15．1．3　类型提示对象 354

15．2　暂态（transient） 354

15．2．1　短暂的垃圾 354

15．2．2　暂态在效率上与可变集合

相比较 355

15．3　分块序列 356

15．4　记忆 358

15．4．1　记忆再研究 359

15．4．2　记忆协议 359

15．4．3　面向抽象编程 361

15．5　理解强制转型

（coercion） 361

15．5．1　使用原始类型long 362

15．5．2　使用原生double 364

15．5．3　使用自动提升精度 365

15．6　可缩小的 366

15．6．1　简单的精简集合的

例子 366

15．6．2　派生第一个reducse函数

变种 367

15．6．3　更多的可还原函数的

转换器 369

15．6．4　reducible转换器 371

15．6．5　reducible的性能 372

15．6．6　reducible的缺陷 372

15．6．7　整合reducible到Clojure 

reduce 373

15．6．8　fold函数：并行的

reduce 374

15．7　小结 377

第16章 思考程序 378

16．1　搜索问题 378

16．2　统一思考数据 383

16．2．1　潜在的平等性或

满足性 384

16．2．2　替换 387

16．2．3　一致性 388

16．3　关于core．logic 390

16．3．1　都是关于一致性 390

16．3．2　关系型 391

16．3．3　子目标 394

16．4　约束 397

16．4．1　约束编程介绍 397

16．4．2　通过有限域限制

绑定 399

16．4．3　利用有限域解决数独

问题 400

16．5　小结 403

第17章 Clojure改变我们的

思考方式 405

17．1　DSL 406

17．1．1　无所不在的DSL 406

17．1．2　实现类似SQL的DSL用于

生成查询 408

17．1．3　Clojure方式DSL的

注记 413

17．2　测试 413

17．2．1　一些有用的技术 414

17．2．2　契约式程序设计 416

17．3　缺乏设计模式 417

17．4　错误处理和调试 426

17．4．1　错误处理 426

17．4．2　调试 429

17．5　珍重 433

附录 资源 434

Miscellaneous resources 434

Online resources 440