产品特色
编辑推荐
如果曾亲眼见过数十行的Java或Ruby浓缩成寥寥数行Clojure代码,你便不难理解为何本书作者称Clojure 是一种“有乐趣的语言”。Clojure 是一种运行于JVM的Lisp方言。它将脚本语言出色的特性同产品环境强大的特性(持久化数据结构和干净的多线程)相结合,
这些都是开发工业强度应用所需要的。本书深针对Clojure 1.6 全面更新。本书**了语法的层面,它不只是展示如何编写流畅而惯用的Clojure 代码,我们将学到函数式的程序设计方式,掌握让Clojure 优雅而高效的技术。本书举重若轻地带我们进入软件开发的一些困难领域,如并发、互操作和性能。它为我们展现了以Clojure 之道思考问题的美妙之处。
本书包括以下内容:
●使用ClojureScript 构建Web 应用;
●掌握函数式编程技术;
●简化并发;
●介绍Clojure 1.6。
如果你有一些使用Clojure和Lisp的经验,那么本书很适合你阅读。
包含了一系列丰富的编程概念。
——William E. Byrd 和Daniel P.Friedman
The Reasoned Schemer 的作者
你会学得飞快!
——Steve Yegge,Google
Clojure改变了我们思考编程的方式,
而本书改变了我们对Clojure的认识。
——Cristofer Weber
对于新手和有经验的程序员来说,本
书中的示例都很清晰。
——Jasper Lievisse Adriaanse
阅读本书充满了乐趣,我不忍释卷。
——Heather Campbell
内容简介
这既不是一本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
Clojure编程乐趣(第2版) 本书是一场探索函数式编程魅力,解锁Clojure语言强大潜力的深度旅程。 无论您是初次接触函数式编程的开发者,渴望拥抱一种更优雅、更富有表现力的编程范式,还是经验丰富的程序员,想要拓宽技术视野,深入理解并熟练运用Clojure的精髓,本书都将是您的理想伴侣。它不仅会为您打开Clojure的大门,更将引领您在实际项目中体会函数式思维的强大力量,让编程成为一种纯粹的、富有创造性的乐趣。 面向读者: 本书面向所有对现代编程语言和函数式编程感兴趣的开发者,具体包括: 渴望学习函数式编程的开发者: 如果您对命令式编程的种种限制感到困惑,希望找到一种更关注“什么”而不是“如何”的编程方式,Clojure将是您的绝佳选择。本书将从基础概念入手,循序渐进地引导您理解函数式编程的核心思想,如不可变性、纯函数、高阶函数等,并展示Clojure如何优雅地实现这些概念。 希望提升代码质量和可维护性的开发者: 函数式编程以其内在的简洁性、可测试性和并发安全性而闻名。本书将通过大量实例,演示如何利用Clojure的特性编写出更易于理解、调试和重构的代码,从而显著提升软件的整体质量和长期可维护性。 对Lisp方言感兴趣的开发者: Clojure作为一种现代的Lisp方言,继承了Lisp的强大宏系统和简洁优雅的语法,同时又运行在Java虚拟机(JVM)上,能够充分利用Java生态系统的丰富资源。本书将带您领略Lisp的独特魅力,并通过Clojure的实践,体会这种编程语言的深邃与灵活。 正在探索并发编程的开发者: Clojure在设计之初就将并发性作为核心考虑因素。本书将深入探讨Clojure提供的丰富并发原语,如STM(软件事务内存)、Agent、Ref等,并演示如何在保证数据一致性的前提下,构建高效、健壮的并发应用程序,解决现代多核处理器带来的挑战。 希望拥抱实用主义函数式编程的开发者: Clojure并非一门纯粹的学术语言,它务实地将函数式编程的优势与Java的广泛生态相结合,使其在实际开发中具有极强的竞争力。本书将聚焦于Clojure在真实项目中的应用,帮助您掌握在实际场景中运用Clojure解决问题的能力。 本书亮点与独特价值: 1. 系统性地构建函数式思维: 本书并非简单地罗列Clojure的语法和API,而是将重心放在培养读者的函数式思维模式上。我们将从根本上探讨: 不可变数据结构的强大之处: 深入理解Clojure的持久化数据结构如何优雅地处理状态,避免副作用,简化并发编程。 纯函数的核心价值: 学习编写不依赖外部状态、总是产生相同输出的纯函数,如何让代码更易于推理、测试和组合。 高阶函数的灵活运用: 掌握将函数作为参数传递、作为返回值返回的艺术,利用map, filter, reduce等函数式工具高效处理数据集合。 递归的优雅力量: 重新审视递归,理解它在函数式编程中的重要地位,并学习如何写出高效且易于理解的递归函数。 组合与抽象: 学习如何通过组合小而精的函数来构建复杂的功能,以及Clojure如何支持强大的抽象机制。 2. 深入浅出地掌握Clojure语言特性: 本书将细致地剖析Clojure的核心语言特性,确保读者对其有深刻的理解,而不是停留在表面: 数据驱动的编程: Clojure鼓励将数据视为一等公民,本书将展示如何利用Clojure强大的数据结构和操作函数来优雅地处理各种数据。 宏的力量: 深入理解Lisp宏系统的强大之处,学习如何编写宏来扩展语言本身,实现代码的元编程,编写DSL(领域特定语言)。 命名空间与模块化: 学习如何组织Clojure代码,管理命名空间,以及如何构建可维护的大型项目。 Java互操作性: 充分利用Clojure与Java的无缝集成,调用Java库,并将其优势融入Clojure开发中。 Persistent Data Structures: 详细讲解Clojure的核心优势之一——持久化数据结构,理解其高效的实现机制和在函数式编程中的关键作用。 3. 全面覆盖Clojure生态与实用技巧: 本书不仅关注语言本身,更将目光投向Clojure的实际应用和生态系统: 函数式并发模型: 详细讲解Clojure提供的多种并发编程工具,包括Agent、Ref、Var、STM等,并演示如何选择合适的工具解决并发问题,编写安全、高效的并发程序。 代码组织与项目结构: 提供关于如何组织Clojure项目、管理依赖、进行测试的实用建议。 常用库与框架介绍: 适时介绍Clojure社区中一些流行且实用的库和框架,帮助读者快速上手实际项目开发。 调试与故障排除: 提供有效的Clojure代码调试技巧和常见问题的解决方案。 性能优化考量: 在不牺牲函数式优雅的前提下,讨论Clojure应用程序的性能优化策略。 4. 丰富的实践案例与示例: 本书最大的特色之一在于其丰富的、贴近实际的编程示例。每一个概念的引入都将伴随着清晰的代码演示,并逐步引导读者构建更复杂的应用。这些示例涵盖: 数据处理与转换: 如何利用Clojure高效地处理和转换各类数据。 Web开发入门: 学习使用Clojure构建Web应用程序的基本原理和常用库。 并发应用的构建: 通过实际例子展示如何使用Clojure的并发原语构建多线程程序。 脚本编写与自动化: 利用Clojure的简洁性和强大功能编写实用的脚本。 5. 循序渐进的学习路径: 本书采用结构化的学习方法,从最基础的函数式概念入手,逐步深入到Clojure的高级特性和实际应用。即使您是编程新手,也能在本书的引导下,稳健地掌握Clojure。对于有经验的开发者,本书将提供新的视角和深刻的见解,帮助您突破技术瓶颈。 本书的目标: 通过阅读本书,您将能够: 建立坚实的函数式编程思维: 能够用函数式的方式思考问题,并将其转化为优雅、高效的Clojure代码。 熟练掌握Clojure的核心语言特性: 能够自信地运用Clojure进行各种类型的开发。 理解和实践Clojure的并发模型: 能够编写出健壮、可扩展的并发应用程序。 利用Clojure解决实际编程挑战: 能够将Clojure应用到您的实际项目中,提升开发效率和代码质量。 享受编程的乐趣: 体验函数式编程带来的思维上的愉悦和创造性的自由。 总而言之,Clojure编程乐趣(第2版)不仅仅是一本关于Clojure的参考书,它更是一次启发思想、提升技能、重塑编程体验的旅程。 加入我们,一起探索Clojure的世界,释放您的编程潜能,让编程真正成为一件充满乐趣的事情!