這既不是一本Clojure初學(xué)指南，也不是一本Clojure的編程操作手冊(cè)。本書(shū)通過(guò)對(duì)Clojure詳盡地探究，講述函數(shù)式的程序設(shè)計(jì)方式，幫助讀者理解和體會(huì)Clojure編程的樂(lè)趣，進(jìn)而開(kāi)發(fā)出優(yōu)美的軟件。

由福格斯、豪澤著的《Clojure編程樂(lè)趣(第2版)》分為6個(gè)部分共17章。第1部分是基礎(chǔ)，包括第1～3章，從Clojure背后的思想開(kāi)始，介紹了Clojure的基礎(chǔ)知識(shí)，并帶領(lǐng)讀者初步嘗試Clojure編程。第2部分是第4章和第5章，介紹了Clojure的各種數(shù)據(jù)類(lèi)型。第3部分是第6章和第7章，介紹了函數(shù)式編程的特性。第4部分是第8章～11章，分別介紹了宏、組合數(shù)據(jù)域代碼、Clojure對(duì)Java的調(diào)用，以及并發(fā)編程等較為高級(jí)的話(huà)題。第5部分為第12章和第13章，探討了Clojure的性能問(wèn)題及其帶給我們的思考。第6部分為第14~17章，介紹了面向數(shù)據(jù)編程、性能、思考程序以及Clojure的思考方式。

本書(shū)適合想要轉(zhuǎn)向函數(shù)式語(yǔ)言或進(jìn)行并發(fā)編程的程序員閱讀，對(duì)JVM平臺(tái)編程感興趣的程序員，想要學(xué)習(xí)中高級(jí)的Java程序以及Clojure的讀者，均能夠從中獲益。

目錄

第1部分 基 礎(chǔ)
第1章　Clojure哲學(xué) 3
1．1　Clojure之道 4
1．1．1　簡(jiǎn)單 4
1．1．2　專(zhuān)注 5
1．1．3　實(shí)用 5
1．1．4　清晰 6
1．1．5　一致 7
1．2　為何（又一種）Lisp 8
1．2．1　優(yōu)美 8
1．2．2　極度靈活 9
1．3　函數(shù)式編程 15
1．3．1　一個(gè)可行的函數(shù)式編程
定義 15
1．3．2　函數(shù)式編程的內(nèi)涵 16
1．4　Clojure為何不是面向
對(duì)象的 16
1．4．1　定義術(shù)語(yǔ) 16
1．4．2　命令式“烘烤” 18
1．4．3　OOP提供的大多數(shù)東西，
Clojure也有 18
1．5 小結(jié) 23
第2章 Clojure疾風(fēng)式教程 24
2．1　基本數(shù)據(jù)類(lèi)型 25
2．1．1　數(shù)字 25
2．1．2　整數(shù) 25
2．1．3　浮點(diǎn)數(shù) 26
2．1．4　有理數(shù) 26
2．1．5　符號(hào) 27
2．1．6　關(guān)鍵字 27
2．1．7　字符串 27
2．1．8　字符 28
2．2　組合起來(lái)：集合 28
2．2．1　list 28
2．2．2　vector 29
2．2．3　map 29
2．2．4　set 29
2．3　付諸實(shí)現(xiàn)：函數(shù) 29
2．4　var 30
2．5　函數(shù) 30
2．5．1　匿名函數(shù) 31
2．5．2　使用def和defn定義命名
函數(shù) 31
2．5．3　不同參數(shù)數(shù)量的函數(shù) 32
2．5．4　以#()定義原位（in-place）
函數(shù) 33
2．6　局部量、循環(huán)和block 33
2．6．1　block 34
2．6．2　局部量 34
2．6．3　循環(huán) 35
2．7　防止發(fā)生：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　訪問(wèn)靜態(tài)類(lèi)成員（僅限于
Clojure） 41
2．8．2　創(chuàng)建Java實(shí)例 42
2．8．3　用．運(yùn)算符訪問(wèn)Java實(shí)例
成員 42
2．8．4　設(shè)置Java實(shí)例屬性 43
2．8．5?。?43
2．8．6　doto宏 44
2．8．7　定義類(lèi) 44
2．9　異常環(huán)境 44
2．10　命名空間 45
2．10．1　用ns創(chuàng)建命名空間 45
2．10．2　用：require加載其他命名
空間 46
2．10．3　用：refer加載和創(chuàng)建
映射 47
2．10．4　用：refer創(chuàng)建映射 47
2．10．5　用：import加載Java類(lèi) 48
2．11 小結(jié) 48
第3章 小試牛刀 49
3．1　真值 50
3．1．1　什么是真 50
3．1．2　不要?jiǎng)?chuàng)建布爾對(duì)象 50
3．1．3　nil vs． false 51
3．2　小心翼翼nil雙關(guān) 51
3．3　解構(gòu) 53
3．3．1　你的任務(wù)，你應(yīng)該選擇
接受 53
3．3．2　解構(gòu)vector 53
3．3．3　解構(gòu)map 55
3．3．4　解構(gòu)函數(shù)參數(shù) 57
3．3．5　解構(gòu)vs．訪問(wèn)器方法 57
3．4　用REPL做試驗(yàn) 57
3．4．1　試驗(yàn)seq 57
3．4．2　試驗(yàn)圖形化 59
3．4．3　知識(shí)匯總 60
3．4．4　出錯(cuò)之時(shí) 61
3．4．5　只為樂(lè)趣 62
3．5　小結(jié) 63

第2部分 數(shù) 據(jù) 類(lèi) 型

第4章 標(biāo)量 67
4．1　理解精度 68
4．1．1　截?cái)啵═runcation） 68
4．1．2　提升（Promotion） 69
4．1．3　上溢（Overflow） 69
4．1．4　下溢（Underflow） 70
4．1．5　舍入錯(cuò)誤（Rounding
errors） 70
4．2　有理數(shù) 71
4．2．1　為什么是有理數(shù) 71
4．2．2　怎樣才是有理數(shù) 72
4．2．3　有理數(shù)的合理性 73
4．3　使用關(guān)鍵字的時(shí)機(jī) 73
4．3．1　關(guān)鍵字的應(yīng)用 73
4．3．2　限定關(guān)鍵字 75
4．4　符號(hào)解析 76
4．4．1　元數(shù)據(jù) 77
4．4．2　符號(hào)與命名空間 78
4．4．3　Lisp-1 78
4．5　正則表達(dá)式——第二個(gè)
問(wèn)題 79
4．5．1　語(yǔ)法 79
4．5．2　函數(shù) 80
4．5．3　小心可變匹配器
（matcher） 81
4．6 總結(jié) 81
第5章 組合數(shù)據(jù)類(lèi)型 82
5．1　持久化、序列和
復(fù)雜度 83
5．1．1 “你一直用著這個(gè)詞。我認(rèn)
為，這并不意味著它就是你
以為的含義” 83
5．1．2　序列術(shù)語(yǔ)及其含義 84
5．1．3　大O 87
5．2　vector：創(chuàng)建和使用其各種
變體 89
5．2．1　構(gòu)建vector 89
5．2．2　大vector 90
5．2．3　vector當(dāng)作棧 93
5．2．4　使用vector而非reverse 94
5．2．5　子vector 95
5．2．6　vector當(dāng)作MapEntry 95
5．2．7　vector不是什么 96
5．3　list：Clojure代碼form的
數(shù)據(jù)結(jié)構(gòu) 97
5．3．1　像Lisp那樣的list 97
5．3．2　list當(dāng)作棧 98
5．3．3　list不是什么 98
5．4　如何使用持久化隊(duì)列 99
5．4．1　什么都沒(méi)有的隊(duì)列 99
5．4．2　入隊(duì) 100
5．4．3　獲取 101
5．4．4　出隊(duì) 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　用數(shù)組map保持插入
順序 108
5．7　知識(shí)匯總：在序列里查找
某項(xiàng)的位置 109
5．8　小結(jié) 111

第3部分 函數(shù)式編程

第6章 惰性與不變性 115
6．1　關(guān)于不變性：按照自己的
方式去使用 115
6．1．1　什么是不變性？ 116
6．1．2　不變性可以做什么？ 116
6．2　設(shè)計(jì)一個(gè)持久化
玩具 118
6．3　惰性 121
6．3．1　以“邏輯與”熟悉惰性 122
6．3．2　理解lazy-seq的秘訣 123
6．3．3　丟掉頭 126
6．3．4　采用無(wú)限序列 126
6．3．5　delay和force宏 128
6．4　知識(shí)匯總：一個(gè)惰性的
快速排序程序 130
6．4 小結(jié) 133
第7章 函數(shù)式編程 134
7．1　各種形式的函數(shù) 134
7．1．1　一等函數(shù) 135
7．1．2　高階函數(shù) 138
7．1．3　純函數(shù) 141
7．1．4　命名實(shí)參 143
7．1．5　使用前置條件和后置條件
約束函數(shù) 143
7．2　閉包 145
7．2．1　函數(shù)返回閉包 146
7．2．2　隱藏參數(shù) 147
7．2．3　將閉包當(dāng)作函數(shù)傳遞 148
7．3　遞歸思考 152
7．3．1　普通遞歸 152
7．3．2　尾遞歸和recur 155
7．3．3　勿忘trampoline 157
7．3．4　延續(xù)傳遞風(fēng)格 159
7．4　知識(shí)匯總：A*尋路 161
7．4．1　世界 161
7．4．2　近鄰 161
7．4．3　A*實(shí)現(xiàn) 163
7．4．4　A*實(shí)現(xiàn)的筆記 165
7．5　小結(jié) 166

第4部分 大規(guī)模設(shè)計(jì)

第8章 宏 169
8．1　數(shù)據(jù)即代碼即數(shù)據(jù) 170
8．1．1　語(yǔ)法quote、反quote和
拼接 171
8．1．2　宏之經(jīng)驗(yàn)談 173
8．2　定義控制結(jié)構(gòu) 173
8．2．1　不用語(yǔ)法quote定義控制
結(jié)構(gòu) 174
8．2．2　使用語(yǔ)法quote和反quote
定義控制結(jié)構(gòu) 175
8．3　組合form的宏 176
8．4　使用宏改變form 177
8．5　使用宏控制符號(hào)解析
時(shí)間 181
8．5．1　回指 181
8．5．2 （可能）有用的選擇性名字
捕獲 182
8．6　使用宏管理資源 183
8．7　知識(shí)匯總：返回函數(shù)的
宏 184
8．8 小結(jié) 187
第9章 組合數(shù)據(jù)與代碼 188
9．1　命名空間 188
9．1．1　創(chuàng)建命名空間 189
9．1．2　只暴露所需 191
9．1．3　聲明性包含和排除 194
9．2　以通用設(shè)計(jì)模式探索
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　真正的最大功率任意
分發(fā) 199
9．3 類(lèi)型、協(xié)議和記錄 200
9．3．1　記錄 200
9．3．2　協(xié)議 203
9．3．3　用deftype從更原始的
基礎(chǔ)開(kāi)始構(gòu)建 211
9．4　知識(shí)匯總：國(guó)際象棋
移動(dòng)的流暢構(gòu)建器 213
9．4．1　Java實(shí)現(xiàn) 213
9．4．2　Clojure實(shí)現(xiàn) 215
9．5 小結(jié) 217
第10章 變化和并發(fā) 218
10．1　使用Ref的時(shí)機(jī) 219
10．1．1　利用ref構(gòu)建可變
棋盤(pán) 221
10．1．2　事務(wù) 223
10．1．3　嵌入式事務(wù) 225
10．1．4　STM使其簡(jiǎn)單的
事情 225
10．1．5　潛在缺陷 226
10．1．6　讓STM不高興的事 227
10．2　利用refs重構(gòu) 228
10．2．1　解決棋盤(pán)例子 228
10．2．2　以commute進(jìn)行可交換的
改變 230
10．2．3　以ref-set進(jìn)行普通
改變 231
10．2．4　壓力之下的Ref 232
10．3　使用Agent的時(shí)機(jī) 233
10．3．1　進(jìn)程內(nèi)并發(fā)模型vs分布式
并發(fā)模型 234
10．3．2　用Agent控制I/O 235
10．3．3　send和send-off之間的
差異 237
10．3．4　錯(cuò)誤處理 239
10．3．5　何時(shí)不用Agent 241
10．4　使用Atom的時(shí)機(jī) 241
10．4．1　跨線程共享 242
10．4．2　在事務(wù)里使用Atom 242
10．5　使用lock的時(shí)機(jī) 244
10．5．1　使用鎖進(jìn)行安全
變化 245
10．5．2　使用Java的顯式鎖 246
10．6　var和動(dòng)態(tài)綁定 248
10．6．1　binding宏 248
10．6．2　創(chuàng)建命名var 250
10．6．3　創(chuàng)建匿名var 251
10．6．4　動(dòng)態(tài)作用域 251
10．7　小結(jié) 253
第11章 并行 254
11．1　使用future的時(shí)機(jī) 255
11．2　使用promise的
時(shí)機(jī) 259
11．2．1　以promise進(jìn)行并行
任務(wù) 260
11．2．2　回調(diào)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　小結(jié) 265

第5部分 宿主共生關(guān)系
 

第12章 Java．next 269
12．1　使用proxy動(dòng)態(tài)生成
對(duì)象 270
12．2　Clojure gen-class和
GUI程序設(shè)計(jì) 277
12．2．1　命名空間作為類(lèi)的
規(guī)范 277
12．2．2　命名空間編譯內(nèi)幕 280
12．2．3　以Clojure探索用戶(hù)界面
設(shè)計(jì)與開(kāi)發(fā) 281
12．3　Clojure同Java數(shù)組的
關(guān)系 284
12．3．1 數(shù)組的類(lèi)型：原生與
引用 284
12．3．2　數(shù)組可變性 286
12．3．3　那個(gè)不幸的命名
約定 286
12．3．4　多維數(shù)組 287
12．3．5　調(diào)用可變方法/構(gòu)造
函數(shù) 288
12．4　所有Clojure函數(shù)都
實(shí)現(xiàn)…… 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數(shù)據(jù)結(jié)構(gòu) 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　一點(diǎn)異常的背景 296
12．7．2　運(yùn)行時(shí)異常vs．編譯時(shí)
異常 296
12．7．3　處理異常 298
12．7．4　定制異常 299
12．8　小結(jié) 300
第13章 ClojureScript 301
13．1　實(shí)現(xiàn)VS接口 302
13．2　編譯器內(nèi)部：分析和
發(fā)布 305
13．2．1　編譯步驟 305
13．2．2　Web Audio 307
13．2．3　高級(jí)編譯 311
13．2．4　生成extern．js文件 313
13．3　編譯和運(yùn)行 315
13．4　小結(jié) 319

第6部分 雜 項(xiàng) 考 量

第14章 面向數(shù)據(jù)編程 323
14．1　代碼是代碼，數(shù)據(jù)是
數(shù)據(jù) 323
14．1．1　嚴(yán)格的分界 324
14．1．2　ORMG 325
14．1．3　從數(shù)據(jù)中獲取信息的
一般方式 326
14．1．4　PLOP 327
14．2　數(shù)據(jù)就是數(shù)據(jù) 327
14．2．1　值的好處 328
14．2．2　標(biāo)簽符號(hào) 332
14．3　數(shù)據(jù)就是代碼 335
14．3．1　數(shù)據(jù)可編程引擎 335
14．3．2　可編程數(shù)據(jù)引擎的
例子 336
14．3．3　例子：簡(jiǎn)單的事件
來(lái)源 337
14．4 代碼就是數(shù)據(jù)，也是
代碼 345
14．4．1 哈特的發(fā)現(xiàn)和
同像性 346
14．4．2 Clojure代碼就是
數(shù)據(jù) 346
14．4．3 規(guī)范括號(hào) 346
14．5 小節(jié) 349
第15章 性能 351
15．1　類(lèi)型提示 352
15．1．1　類(lèi)型修飾的優(yōu)勢(shì) 352
15．1．2　類(lèi)型提示實(shí)參和
返回值 352
15．1．3　類(lèi)型提示對(duì)象 354
15．2　暫態(tài)（transient） 354
15．2．1　短暫的垃圾 354
15．2．2　暫態(tài)在效率上與可變集合
相比較 355
15．3　分塊序列 356
15．4　記憶 358
15．4．1　記憶再研究 359
15．4．2　記憶協(xié)議 359
15．4．3　面向抽象編程 361
15．5　理解強(qiáng)制轉(zhuǎn)型
（coercion） 361
15．5．1　使用原始類(lèi)型long 362
15．5．2　使用原生double 364
15．5．3　使用自動(dòng)提升精度 365
15．6　可縮小的 366
15．6．1　簡(jiǎn)單的精簡(jiǎn)集合的
例子 366
15．6．2　派生第一個(gè)reducse函數(shù)
變種 367
15．6．3　更多的可還原函數(shù)的
轉(zhuǎn)換器 369
15．6．4　reducible轉(zhuǎn)換器 371
15．6．5　reducible的性能 372
15．6．6　reducible的缺陷 372
15．6．7　整合reducible到Clojure
reduce 373
15．6．8　fold函數(shù)：并行的
reduce 374
15．7　小結(jié) 377
第16章 思考程序 378
16．1　搜索問(wèn)題 378
16．2　統(tǒng)一思考數(shù)據(jù) 383
16．2．1　潛在的平等性或
滿(mǎn)足性 384
16．2．2　替換 387
16．2．3　一致性 388
16．3　關(guān)于core．logic 390
16．3．1　都是關(guān)于一致性 390
16．3．2　關(guān)系型 391
16．3．3　子目標(biāo) 394
16．4　約束 397
16．4．1　約束編程介紹 397
16．4．2　通過(guò)有限域限制
綁定 399
16．4．3　利用有限域解決數(shù)獨(dú)
問(wèn)題 400
16．5　小結(jié) 403
第17章 Clojure改變我們的
思考方式 405
17．1　DSL 406
17．1．1　無(wú)所不在的DSL 406
17．1．2　實(shí)現(xiàn)類(lèi)似SQL的DSL用于
生成查詢(xún) 408
17．1．3　Clojure方式DSL的
注記 413
17．2　測(cè)試 413
17．2．1　一些有用的技術(shù) 414
17．2．2　契約式程序設(shè)計(jì) 416
17．3　缺乏設(shè)計(jì)模式 417
17．4　錯(cuò)誤處理和調(diào)試 426
17．4．1　錯(cuò)誤處理 426
17．4．2　調(diào)試 429
17．5　珍重 433
附錄 資源 434
Miscellaneous resources 434
Online resources 440