Clojure编程乐趣 第2版PDF|Epub|txt|kindle电子书版本网盘下载

Clojure编程乐趣 第2版PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1部分 基础3

第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 为何（又一种）Lisp8

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 list28

2.2.2 vector29

2.2.3 map29

2.2.4 set29

2.3 付诸实现：函数29

2.4 var30

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 局部量、循环和block33

2.6.1 block34

2.6.2 局部量34

2.6.3 循环35

2.7 防止发生：quote37

2.7.1 求值37

2.7.2 Quoting38

2.7.3 反quote40

2.7.4 反quote拼接41

2.7.5 auto-gensym41

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.false51

3.2 小心翼翼nil双关51

3.3 解构53

3.3.1 你的任务，你应该选择接受53

3.3.2 解构vector53

3.3.3 解构map55

3.3.4 解构函数参数57

3.3.5 解构vs．访问器方法57

3.4 用REPL做试验57

3.4.1 试验seq57

3.4.2 试验图形化59

3.4.3 知识汇总60

3.4.4 出错之时61

3.4.5 只为乐趣62

3.5 小结63

第2部分 数据类型67

第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-178

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 大O87

5.2 vector：创建和使用其各种变体89

5.2.1 构建vector89

5.2.2 大vector90

5.2.3 vector当作栈93

5.2.4 使用vector而非reverse94

5.2.5 子vector95

5.2.6 vector当作MapEntry95

5.2.7 vector不是什么96

5.3 list：Clojure代码form的数据结构97

5.3.1 像Lisp那样的list97

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 持久化set101

5.5.1 Clojure set的基本属性101

5.5.2 用sorted-set保持set的顺序103

5.5.3 contains？103

5.5.4 clojure.set104

5.6 思考map106

5.6.1 hash map106

5.6.2 以有序map保持键值的顺序107

5.6.3 用数组map保持插入顺序108

5.7 知识汇总：在序列里查找某项的位置109

5.8 小结111

第3部分 函数式编程115

第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.5 小结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 尾递归和recur155

7.3.3 勿忘trampoline157

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部分 大规模设计169

第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 使用宏改变form177

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 压力之下的Ref232

10.3 使用Agent的时机233

10.3.1 进程内并发模型vs分布式并发模型234

10.3.2 用Agent控制I/O235

10.3.3 send和send-off之间的差异237

10.3.4 错误处理239

10.3.5 何时不用Agent241

10.4 使用Atom的时机241

10.4.1 跨线程共享242

10.4.2 在事务里使用Atom242

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 创建命名var250

10.6.3 创建匿名var251

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到阻塞API261

11.2.3 确定性死锁262

11.3 并行263

11.3.1 pvalues263

11.3.2 pmap263

11.3.3 pcalls264

11.4 reduce/fold264

11.5 小结265

第5部分 宿主共生关系269

第12章 Java.next269

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.Comparator288

12.4.2 java.lang.Runnable289

12.4.3 java.util.concurrent.Callable290

12.5 在Java API里使用Clojure数据结构290

12.5.1 java.util.List291

12.5.2 java.lang.Comparable291

12.5.3 java.util.RandomAccess292

12.5.4 java.util.Collection292

12.5.5 java.util.Set293

12.6 definterface293

12.7 慎用异常295

12.7.1 一点异常的背景296

12.7.2 运行时异常vs．编译时异常296

12.7.3 处理异常298

12.7.4 定制异常299

12.8 小结300

第13章 ClojureScript301

13.1 实现VS接口302

13.2 编译器内部：分析和发布305

13.2.1 编译步骤305

13.2.2 Web Audio307

13.2.3 高级编译311

13.2.4 生成extern.js文件313

13.3 编译和运行315

13.4 小结319

第6部分 杂项考量323

第14章 面向数据编程323

14.1 代码是代码，数据是数据323

14.1.1 严格的分界324

14.1.2 ORMG325

14.1.3 从数据中获取信息的一般方式326

14.1.4 PLOP327

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 使用原始类型long362

15.5.2 使用原生double364

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的缺陷373

15.6.7 整合reducible到Clojure reduce373

15.6.8 fold函数：并行的reduce375

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.logic390

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 DSL406

17.1.1 无所不在的DSL406

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 resources434

Online resources440