序 xv
前言 xvii
第 1 章　零到六十：Scala 簡(jiǎn)介 1
1．1　為什么選擇Scala 1
1．1．1　富有魅力的Scala 2
1．1．2　關(guān)于Java 8 3
1．2　安裝Scala 3
1．2．1　使用SBT 5
1．2．2　執(zhí)行Scala 命令行工具 6
1．2．3　在IDE中運(yùn)行Scala REPL 8
1．3　使用Scala 8
1．4　并發(fā) 17
1．5　本章回顧與下一章提要 27
第 2 章　更簡(jiǎn)潔，更強(qiáng)大 28
2．1　分號(hào) 28
2．2　變量聲明 29
2．3　Range 31
2．4　偏函數(shù) 32
2．5　方法聲明 33
2．5．1　方法默認(rèn)值和命名參數(shù)列表 33
2．5．2　方法具有多個(gè)參數(shù)列表 34
2．5．3　Future 簡(jiǎn)介 35
2．5．4　嵌套方法的定義與遞歸 38
2．6　推斷類(lèi)型信息 40
2．7　保留字 44
2．8　字面量 46
2．8．1　整數(shù)字面量 46
2．8．2　浮點(diǎn)數(shù)字面量 47
2．8．3　布爾型字面量 48
2．8．4　字符字面量 48
2．8．5　字符串字面量 48
2．8．6　符號(hào)字面量 50
2．8．7　函數(shù)字面量 50
2．8．8　元組字面量 50
2．9　 Option、Some和None：避免使用null 52
2．10　封閉類(lèi)的繼承 53
2．11　用文件和名空間組織代碼 54
2．12　導(dǎo)入類(lèi)型及其成員 55
2．12．1　導(dǎo)入是相對(duì)的 56
2．12．2　包對(duì)象 57
2．13　抽象類(lèi)型與參數(shù)化類(lèi)型 57
2．14　本章回顧與下一章提要 59
第 3 章　要點(diǎn)詳解 60
3．1　操作符重載 ? 60
3．2　無(wú)參數(shù)方法 63
3．3　優(yōu)先級(jí)規(guī)則 64
3．4　領(lǐng)域特定語(yǔ)言 65
3．5　Scala中的if語(yǔ)句 66
3．6　Scala中的for推導(dǎo)式 67
3．6．1　for循環(huán) 67
3．6．2　生成器表達(dá)式 67
3．6．3　保護(hù)式：篩選元素 67
3．6．4　Yielding 68
3．6．5　擴(kuò)展作用域與值定義 69
3．7　其他循環(huán)結(jié)構(gòu) 70
3．7．1　Scala的while循環(huán) 71
3．7．2　Scala中的do-while循環(huán) 71
3．8　條件操作符 71
3．9　使用try、catch和final子句 72
3．10　名字調(diào)用和值調(diào)用 75
3．11　惰性賦值 78
3．12　枚舉 79
3．13　可插入字符串 81
3．14　Trait：Scala語(yǔ)言的接口和“混入” 83
3．15　本章回顧與下一章提要 85
第 4 章　模式匹配 86
4．1　簡(jiǎn)單匹配 86
4．2　match中的值、變量和類(lèi)型 87
4．3　序列的匹配 90
4．4　元組的匹配 94
4．5　case中的guard語(yǔ)句 94
4．6　case類(lèi)的匹配 95
4．6．1　unapply方法 96
4．6．2　unapplySeq方法 100
4．7　可變參數(shù)列表的匹配 101
4．8　正則表達(dá)式的匹配 103
4．9　再談case語(yǔ)句的變量綁定 104
4．10　再談?lì)愋推ヅ?104
4．11　封閉繼承層級(jí)與全覆蓋匹配 105
4．12　模式匹配的其他用法 107
4．13　總結(jié)關(guān)于模式匹配的評(píng)價(jià) 111
4．14　本章回顧與下一章提要 111
第 5 章　隱式詳解 112
5．1　隱式參數(shù) 112
5．2　隱式參數(shù)適用的場(chǎng)景 115
5．2．1　執(zhí)行上下文 115
5．2．2　功能控制 115
5．2．3　限定可用實(shí)例 116
5．2．4　隱式證據(jù) 120
5．2．5　繞開(kāi)類(lèi)型擦除帶來(lái)的限制 122
5．2．6　改善報(bào)錯(cuò)信息 124
5．2．7　虛類(lèi)型 124
5．2．8　隱式參數(shù)遵循的規(guī)則 127
5．3　隱式轉(zhuǎn)換 128
5．3．1　構(gòu)建獨(dú)有的字符串插入器 132
5．3．2　表達(dá)式問(wèn)題 134
5．4　類(lèi)型類(lèi)模式 135
5．5　隱式所導(dǎo)致的技術(shù)問(wèn)題 137
5．6　隱式解析規(guī)則 139
5．7　Scala內(nèi)置的各種隱式 139
5．8　合理使用隱式 146
5．9　本章回顧與下一章提要 146
第 6 章 Scala函數(shù)式編程 147
6．1　什么是函數(shù)式編程 148
6．1．1　數(shù)學(xué)中的函數(shù) 148
6．1．2　不可變變量 149
6．2　Scala中的函數(shù)式編程 151
6．2．1　匿名函數(shù)、Lambda與閉包 152
6．2．2　內(nèi)部與外部的純粹性 154
6．3　遞歸 154
6．4　尾部調(diào)用和尾部調(diào)用優(yōu)化 155
6．5　偏應(yīng)用函數(shù)與偏函數(shù) 157
6．6　Curry化與函數(shù)的其他轉(zhuǎn)換 158
6．7　函數(shù)式編程的數(shù)據(jù)結(jié)構(gòu) 162
6．7．1　序列 162
6．7．2　映射表 166
6．7．3　集合 168
6．8　遍歷、映射、過(guò)濾、折疊與歸約 168
6．8．1　遍歷 169
6．8．2　映射 170
6．8．3　扁平映射 172
6．8．4　過(guò)濾 173
6．8．5　折疊與歸約 174
6．9　向左遍歷與向右遍歷 178
6．10　組合器：軟件最佳組件抽象 183
6．11　關(guān)于復(fù)制 186
6．12　本章回顧與下一章提要 188
第 7 章　深入學(xué)習(xí)for推導(dǎo)式 189
7．1　內(nèi)容回顧：for推導(dǎo)式組成元素 189
7．2　 for推導(dǎo)式：內(nèi)部機(jī)制 192
7．3　 for推導(dǎo)式的轉(zhuǎn)化規(guī)則 194
7．4　 Option以及其他的一些容器類(lèi)型 197
7．4．1　 Option容器 197
7．4．2　 Either：Option類(lèi)型的邏輯擴(kuò)展 200
7．4．3　 Try類(lèi)型 205
7．4．4　Scalaz提供的Validation類(lèi) 206
7．5　本章回顧與下一章提要 209
第 8 章　Scala面向?qū)ο缶幊?210
8．1　類(lèi)與對(duì)象初步 211
8．2　引用與值類(lèi)型 213
8．3　價(jià)值類(lèi) 214
8．4　父類(lèi) 217
8．5　Scala的構(gòu)造器 217
8．6　類(lèi)的字段 221
8．6．1　統(tǒng)一訪問(wèn)原則 223
8．6．2　一元方法 224
8．7　驗(yàn)證輸入 224
8．8　調(diào)用父類(lèi)構(gòu)造器（與良好的面向?qū)ο笤O(shè)計(jì)） 226
8．9　嵌套類(lèi)型 230
8．10　本章回顧與下一章提要 232
第 9 章　特征 233
9．1　Java 8中的接口 233
9．2　混入trait 234
9．3　可堆疊的特征 238
9．4　構(gòu)造trait 243
9．5　選擇類(lèi)還是trait 244
9．6　本章回顧與下一章提要 245
第 10 章　Scala對(duì)象系統(tǒng)（I） 246
10．1　參數(shù)化類(lèi)型：繼承轉(zhuǎn)化 246
10．1．1　Hood下的函數(shù) 247
10．1．2　可變類(lèi)型的變異 250
10．1．3　Scala和Java中的變異 252
10．2　Scala的類(lèi)型層次結(jié)構(gòu) 253
10．3　閑話(huà)Nothing（以及Null） 254
10．4　 Product、case類(lèi)和元組 258
10．5　 Predef對(duì)象 260
10．5．1　隱式轉(zhuǎn)換 260
10．5．2　類(lèi)型定義 262
10．5．3　條件檢查方法 263
10．5．4　輸入輸出方法 263
10．5．5　雜項(xiàng)方法 265
10．6　對(duì)象的相等 265
10．6．1　 equals方法 266
10．6．2　 ==和!=方法 266
10．6．3　 eq和ne方法 267
10．6．4　數(shù)組相等和sameElements方法 267
10．7　本章回顧與下一章提要 268
第 11 章　Scala對(duì)象系統(tǒng)（II） 269
11．1　覆寫(xiě)類(lèi)成員和trait成員 269
11．2　嘗試覆寫(xiě)final聲明 272
11．3　覆寫(xiě)抽象方法和具體方法 272
11．4　覆寫(xiě)抽象字段和具體字段 274
11．5　覆寫(xiě)抽象類(lèi)型 280
11．6　無(wú)須區(qū)分訪問(wèn)方法和字段：統(tǒng)一訪問(wèn)原則 280
11．7　對(duì)象層次結(jié)構(gòu)的線(xiàn)性化算法 282
11．8　本章回顧與下一章提要 287
第 12 章　Scala集合庫(kù) 288
12．1　通用、可變、不可變、并發(fā)以及并行集合 288
12．1．1　 scala．collection包 289
12．1．2　 collection．concurrent包 290
12．1．3　 collection．convert包 291
12．1．4　 collection．generic包 291
12．1．5　 collection．immutable包 291
12．1．6　 scala．collection．mutable包 292
12．1．7　 scala．collection．parallel包 294
12．2　選擇集合 295
12．3　集合庫(kù)的設(shè)計(jì)慣例 296
12．3．1　 Builder 296
12．3．2　 CanBuildFrom 297
12．3．3　 Like特征 298
12．4　值類(lèi)型的特化 298
12．5　本章回顧與下一章提要 300
第 13 章　可見(jiàn)性規(guī)則 301
13．1　默認(rèn)可見(jiàn)性：公有可見(jiàn)性 301
13．2　可見(jiàn)性關(guān)鍵字 302
13．3　Public可見(jiàn)性 303
13．4　Protected可見(jiàn)性 304
13．5　Private可見(jiàn)性 305
13．6　作用域內(nèi)私有和作用域內(nèi)受保護(hù)可見(jiàn)性 306
13．7　對(duì)可見(jiàn)性的想法 312
13．8　本章回顧與下一章提要 313
第 14 章　Scala類(lèi)型系統(tǒng)（I） 314
14．1　參數(shù)化類(lèi)型 315
14．1．1　變異標(biāo)記 315
14．1．2　類(lèi)型構(gòu)造器 315
14．1．3　類(lèi)型參數(shù)的名稱(chēng) 315
14．2　類(lèi)型邊界 315
14．2．1　類(lèi)型邊界上限 316
14．2．2　類(lèi)型邊界下限 316
14．3　上下文邊界 320
14．4　視圖邊界 320
14．5　理解抽象類(lèi)型 322
14．6　自類(lèi)型標(biāo)記 325
14．7　結(jié)構(gòu)化類(lèi)型 329
14．8　復(fù)合類(lèi)型 332
14．9　存在類(lèi)型 334
14．10　本章回顧與下一章提要 335
第 15 章　Scala 類(lèi)型系統(tǒng)（II） 336
15．1　路徑相關(guān)類(lèi)型 336
15．1．1　C．this 337
15．1．2　C．super 337
15．1．3　path．x 338
15．2　依賴(lài)方法類(lèi)型 339
15．3　類(lèi)型投影 340
15．4　值的類(lèi)型 343
15．4．1　元組類(lèi)型 343
15．4．2　函數(shù)類(lèi)型 343
15．4．3　中綴類(lèi)型 343
15．5　Higher-Kinded類(lèi)型 344
15．6　類(lèi)型Lambda 348
15．7　自遞歸類(lèi)型：F-Bounded 多態(tài) 350
15．8　本章回顧與下一章提要 351
第 16 章　高級(jí)函數(shù)式編程 352
16．1　代數(shù)數(shù)據(jù)類(lèi)型 352
16．1．1　加法類(lèi)型與乘法類(lèi)型 352
16．1．2　代數(shù)數(shù)據(jù)類(lèi)型的屬性 354
16．1．3　代數(shù)數(shù)據(jù)類(lèi)型的最后思考 355
16．2　范疇理論 355
16．2．1　關(guān)于范疇 356
16．2．2　Functor范疇 356
16．2．3　Monad范疇 360
16．2．4　Monad的重要性 362
16．3　本章回顧與下一章提要 363
第 17 章　并發(fā)工具 365
17．1　scala．sys．process包 365
17．2　Future類(lèi)型 367
17．3　利用Actor模型構(gòu)造穩(wěn)固且可擴(kuò)展的并發(fā)應(yīng)用 371
17．4　Akka：為Scala設(shè)計(jì)的Actor系統(tǒng) 372
17．5　Pickling和Spores 383
17．6　反應(yīng)式編程 384
17．7　本章回顧與下一章提要 385
第 18 章　Scala與大數(shù)據(jù) 386
18．1　大數(shù)據(jù)簡(jiǎn)史 386
18．2　用Scala改善MapReduce 387
18．3　超越MapReduce 392
18．4　數(shù)學(xué)范疇 393
18．5　Scala數(shù)據(jù)工具列表 394
18．6　本章回顧與下一章提要 394
第 19 章　Scala動(dòng)態(tài)調(diào)用 396
19．1　一個(gè)較為激進(jìn)的示例：Ruby on Rails框架中的ActiveRecord庫(kù) 396
19．2　使用動(dòng)態(tài)特征實(shí)現(xiàn)Scala中的動(dòng)態(tài)調(diào)用 397
19．3　關(guān)于DSL的一些思考 402
19．4　本章回顧與下一章提要 402
第 20 章　Scala的領(lǐng)域特定語(yǔ)言 403
20．1　DSL 示例：Scala中XML和JSON DSL 404
20．2　內(nèi)部DSL 406
20．3　包含解析組合子的外部DSL 410
20．3．1　關(guān)于解析組合子 410
20．3．2　計(jì)算工資單的外部DSL 410
20．4　內(nèi)部DSL與外部DSL：最后的思考 413
20．5　本章回顧與下一章提要 413
第 21 章　Scala工具和庫(kù) 414
21．1　命令行工具 414
21．1．1　命令行工具：scalac 414
21．1．2　Scala命令行工具 418
21．1．3　scalap和javap命令行工具 421
21．1．4　scaladoc命令行工具 422
21．1．5　fsc命令行工具 422
21．2　構(gòu)建工具 422
21．2．1　SBT：Scala標(biāo)準(zhǔn)構(gòu)建工具 423
21．2．2　其他構(gòu)建工具 425
21．3　與IDE或文本編輯器集成 425
21．4　在Scala中應(yīng)用測(cè)試驅(qū)動(dòng)開(kāi)發(fā) 426
21．5　第三方庫(kù) 427
21．6　本章回顧與下一章提要 429
第 22 章　與Java的互操作 430
22．1　在Scala代碼中使用 Java 名稱(chēng) 430
22．2　Java泛型與Scala泛型 430
22．3　JavaBean的性質(zhì) 432
22．4　 AnyVal類(lèi)型與Java原生類(lèi)型 433
22．5　Java代碼中的Scala名稱(chēng) 433
22．6　本章回顧與下一章提要 434
第 23 章　應(yīng)用程序設(shè)計(jì) 435
23．1　回顧之前的內(nèi)容 435
23．2　注解 437
23．3　Trait即模塊 441
23．4　設(shè)計(jì)模式 442
23．4．1　構(gòu)造型模式 443
23．4．2　結(jié)構(gòu)型模式 443
23．4．3　行為型模式 444
23．5　契約式設(shè)計(jì)帶來(lái)更好的設(shè)計(jì) 446
23．6　帕特農(nóng)神廟架構(gòu) 448
23．7　本章回顧與下一章提要 453
第 24 章　元編程：宏與反射 454
24．1　用于理解類(lèi)型的工具 455
24．2　運(yùn)行時(shí)反射 455
24．2．1　類(lèi)型反射 455
24．2．2　ClassTag、TypeTag與Manifest 457
24．3　Scala的高級(jí)運(yùn)行時(shí)反射API 458
24．4　宏 461
24．4．1　宏的示例：強(qiáng)制不變性 463
24．4．2　關(guān)于宏的最后思考 466
24．5　本章回顧與下一章提要 466
附錄 A　參考文獻(xiàn) 468
作者簡(jiǎn)介 473
關(guān)于封面 473