領(lǐng)域?qū)Ｓ谜Z言實戰(zhàn)

第一部分 　領(lǐng)域?qū)Ｓ谜Z言入門
第1章 　初識DSL　　
1.1 　問題域與解答域　　
1.1.1 　問題域　　
1.1.2 　解答域　　
1.2 　領(lǐng)域建模：確立共通的語匯　　
1.3 　初窺DSL　　
1.3.1 　何為DSL　　
1.3.2 　流行的幾種DSL　　
1.3.3 　DSL 的結(jié)構(gòu)　　
1.4 　DSL 的執(zhí)行模型　　
1.5 　DSL 的分類　　
1.5.1 　內(nèi)部DSL　　
1.5.2 　外部DSL　　
1.5.3 　非文本DSL　　
1.6 　何時需要DSL　　
1.6.1 　優(yōu)點　　
1.6.2 　缺點　　
1.7 　DSL 與抽象設(shè)計　　
1.8 　小結(jié)　　
1.9 　參考文獻(xiàn)　　
第2章 　現(xiàn)實中的DSL　　
2.1 　打造首個Java DSL　　
2.1.1 　確立共通語匯　　
2.1.2 　用Java 完成的首個實現(xiàn)　　
2.2 　創(chuàng)造更友好的DSL　　
2.2.1 　用XML 實現(xiàn)領(lǐng)域的外部化　　
2.2.2 　Groovy：更具表現(xiàn)力的實現(xiàn)語言　　
2.2.3 　執(zhí)行Groovy DSL　　
2.3 　DSL 實現(xiàn)模式　　
2.3.1 　內(nèi)部DSL 模式：共性與差異性　　
2.3.2 　外部DSL 模式：共性與差異性　　
2.4 　選擇DSL 的實現(xiàn)方式　　
2.5 　小結(jié)　　
2.6 　參考文獻(xiàn)　　
第3章 　DSL 驅(qū)動的應(yīng)用程序開發(fā)　　
3.1 　探索DSL 集成　　
3.2 　內(nèi)部DSL 的集成模式　　
3.2.1 　通過Java 6 的腳本引擎進(jìn)行集成　　
3.2.2 　通過DSL 包裝器集成　　
3.2.3 　語言特有的集成功能　　
3.2.4 　基于Spring 的集成　　
3.3 　外部DSL 　集成模式　　
3.4 　處理錯誤和異常　　
3.4.1 　給異常命名　　
3.4.2 　處理輸入錯誤　　
3.4.3 　處理異常的業(yè)務(wù)狀態(tài)　　
3.5 　管理性能表現(xiàn)　　
3.6 　小結(jié)　　
3.7 　參考文獻(xiàn)　　
第二部分 　實現(xiàn)DSL
第4章 　內(nèi)部DSL 實現(xiàn)模式　　
4.1 　充實DSL"工具箱"　　
4.2 　內(nèi)嵌式DSL：元編程模式　　
4.2.1 　隱式上下文和靈巧API　　
4.2.2 　利用動態(tài)裝飾器的反射式元編程　　
4.2.3 　利用buider 的反射式元編程　　
4.2.4 　經(jīng)驗總結(jié)：元編程模式　　
4.3 　內(nèi)嵌式DSL：類型化抽象模式　　
4.3.1 　運用高階函數(shù)使抽象泛化　　
4.3.2 　運用顯式類型約束建模領(lǐng)域邏輯　　
4.3.3 　經(jīng)驗總結(jié)：類型思維　　
4.4 　生成式DSL：通過模板進(jìn)行運行時代碼生成　　
4.4.1 　生成式DSL 的工作原理　　
4.4.2 　利用Ruby 元編程實現(xiàn)簡潔的DSL 設(shè)計　　
4.5 　生成式DSL：通過宏進(jìn)行編譯時代碼生成　　
4.5.1 　開展Clojure 元編程　　
4.5.2 　實現(xiàn)領(lǐng)域模型　　
4.5.3 　Clojure 宏之美　　
4.6 　小結(jié)　　
4.7 　參考文獻(xiàn)　　
第5章 　Ruby、Groovy、Clojure 語言中的內(nèi)部DSL 設(shè)計　　
5.1 　動態(tài)類型成就簡潔的DSL　　
5.1.1 　易讀　　
5.1.2 　鴨子類型　　
5.1.3 　元編程--又碰面了　　
5.1.4 　為何選擇Ruby、Groovy、Clojure　　
5.2 　Ruby 語言實現(xiàn)的交易處理DSL　　
5.2.1 　從API 開始　　
5.2.2 　來點猴子補(bǔ)丁　　
5.2.3 　設(shè)立DSL 解釋器　　
5.2.4 　以裝飾器的形式添加領(lǐng)域規(guī)則　　
5.3 　指令處理DSL：精益求精的Groovy實現(xiàn)　　
5.3.1 　指令處理DSL 的現(xiàn)狀　　
5.3.2 　控制元編程的作用域　　
5.3.3 　收尾工作　　
5.4 　思路迥異的Clojure 實現(xiàn)　　
5.4.1 　建立領(lǐng)域?qū)ο蟆　?br />5.4.2 　通過裝飾器充實領(lǐng)域?qū)ο蟆　?br />5.4.3 　通過REPL 進(jìn)行的DSL 會話　　
5.5 　告誡　　
5.5.1 　遵從最低復(fù)雜度原則　　
5.5.2 　追求適度的表現(xiàn)力　　
5.5.3 　堅持優(yōu)秀抽象設(shè)計的各項原則　　
5.5.4 　避免語言間的摩擦　　
5.6 　小結(jié)　　
5.7 　參考文獻(xiàn)　　
第6章 　Scala 　語言中的內(nèi)部DSL設(shè)計　　
6.1 　為何選擇Scala　　
6.2 　邁向Scala DSL 的第一步　　
6.2.1 　通過Scala DSL 測試Java對象　　
6.2.2 　用Scala DSL 作為對Java 　對象的包裝　　
6.2.3 　將非關(guān)鍵功能建模為ScalaDSL　　
6.3 　正式啟程　　
6.3.1 　語法層面的表現(xiàn)力　　
6.3.2 　建立領(lǐng)域抽象　　
6.4 　制作一種創(chuàng)建交易的DSL　　
6.4.1 　實現(xiàn)細(xì)節(jié)　　
6.4.2 　DSL 實現(xiàn)模式的變化　　
6.5 　用DSL 建模業(yè)務(wù)規(guī)則　　
6.5.1 　模式匹配如同可擴(kuò)展的Visitor模式　　
6.5.2 　充實領(lǐng)域模型　　
6.5.3 　用DSL 表達(dá)稅費計算的業(yè)務(wù)規(guī)則　　
6.6 　把組件裝配起來　　
6.6.1 　用trait 和類型組合出更多的抽象　　
6.6.2 　使領(lǐng)域組件具體化　　
6.7 　組合多種DSL　　
6.7.1 　擴(kuò)展關(guān)系的組合方式　　
6.7.2 　層級關(guān)系的組合方式　　
6.8 　DSL 中的Monad 化結(jié)構(gòu)　　
6.9 　小結(jié)　　
6.10 　參考文獻(xiàn)　　
第7章 　外部DSL 　的實現(xiàn)載體　　
7.1 　解剖外部DSL　　
7.1.1 　最簡單的實現(xiàn)形式　　
7.1.2 　對領(lǐng)域模型進(jìn)行抽象　　
7.2 　語法分析器在外部DSL 　設(shè)計中的作用　　
7.2.1 　語法分析器、語法分析器生成器　　
7.2.2 　語法制導(dǎo)翻譯　　
7.3 　語法分析器的分類　　
7.3.1 　簡單的自頂向下語法分析器　　
7.3.2 　高級的自頂向下語法分析器　　
7.3.3 　自底向上語法分析器　　
7.4 　工具支持下的DSL 開發(fā)--Xtext　　
7.4.1 　文法規(guī)則和大綱視圖　　
7.4.2 　文法的元模型　　
7.4.3 　為語義模型生成代碼　　
7.5 　小結(jié)　　
7.6 　參考文獻(xiàn)　　
第8章 　用Scala 語法分析器組合子設(shè)計外部DSL　　
8.1 　分析器組合子　　
8.1.1 　什么是分析器組合子　　
8.1.2 　按照分析器組合子的方式設(shè)計DSL　　
8.2 　Scala 的分析器組合子庫　　
8.2.1 　分析器組合子庫中的基本抽象　　
8.2.2 　把分析器連接起來的組合子　　
8.2.3 　用Monad 組合DSL 分析器　　
8.2.4 　左遞歸DSL 語法的packrat分析　　
8.3 　用分析器組合子設(shè)計DSL 的步驟　　
8.3.1 　第一步：執(zhí)行文法　　
8.3.2 　第二步：建立DSL 的語義模型　　
8.3.3 　第三步：設(shè)計Order 抽象　　
8.3.4 　第四步：通過函數(shù)施用組合子生成AST　　
8.4 　一個需要packrat 分析器的DSL實例　　
8.4.1 　待解決的領(lǐng)域問題　　
8.4.2 　定義文法　　
8.4.3 　設(shè)計語義模型　　
8.4.4 　通過分析器的組合來擴(kuò)展DSL語義　　
8.5 　小結(jié)　　
8.6 　參考文獻(xiàn)　　
第三部分 　DSL開發(fā)的未來趨勢
第9章 　展望DSL 設(shè)計的未來.
9.1 　語言層面對DSL 設(shè)計的支持越來越充分　　
9.1.1 　對表現(xiàn)力的不懈追求　　
9.1.2 　元編程的能力越來越強(qiáng)　　
9.1.3 　S 表達(dá)式取代XML 　充當(dāng)載體　　
9.1.4 　分析器組合子越來越流行　　
9.2 　DSL 工作臺　　
9.2.1 　DSL 工作臺的原理　　
9.2.2 　使用DSL 工作臺的好處
9.3 　其他方面的工具支持　　
9.4 　DSL 的成長和演化　　
9.4.1 　DSL 的版本化　　
9.4.2 　DSL 平穩(wěn)演化的最佳實踐　　
9.5 　小結(jié)　　
9.6 　參考文獻(xiàn)　　
附錄A 　抽象在領(lǐng)域建模中的角色　　
A.1 　設(shè)計得當(dāng)?shù)某橄髴?yīng)具備的特質(zhì)　　
A.1.1 　極簡　　
A.1.2 　精煉　　
A.1.3 　擴(kuò)展性和組合性　　
A.2 　極簡，只公開對外承諾的　　
A.2.1 　用泛化來保留演化余地　　
A.2.2 　用子類型化防止實現(xiàn)的泄露　　
A.2.3 　正確實施實現(xiàn)繼承　　
A.3 　精煉，只保留自身需要的　　
A.3.1 　什么是非本質(zhì)的　　
A.3.2 　非本質(zhì)復(fù)雜性　　
A.3.3 　撇除雜質(zhì)　　
A.3.4 　用DI 隱藏實現(xiàn)細(xì)節(jié)　　
A.4 　擴(kuò)展性提供成長的空間　　
A.4.1 　什么是擴(kuò)展性　　
A.4.2 　mixin：滿足擴(kuò)展性的一種設(shè)計模式　　
A.4.3 　用mixin 擴(kuò)展Map　　
A.4.4 　函數(shù)式的擴(kuò)展性　　
A.4.5 　擴(kuò)展性也可以臨時抱佛腳　　
A.5 　組合性，源自純粹　　
A.5.1 　用設(shè)計模式滿足組合性　　
A.5.2 　回歸語言　　
A.5.3 　副作用和組合性　　
A.5.4 　組合性與并發(fā)　　
A.6 　參考文獻(xiàn)　　
附錄B 　元編程與DSL 　設(shè)計　　
B.1 　DSL 中的元編程　　
B.1.1 　DSL 實現(xiàn)中的運行時元編程　　
B.1.2 　DSL 實現(xiàn)中的編譯時元編程　　
B.2 　作為DSL 載體的Lisp　　
B.2.1 　Lisp 的特殊之處　　
B.2.2 　代碼等同于數(shù)據(jù)　　
B.2.3 　數(shù)據(jù)等同于代碼　　
B.2.4 　簡單到只分析列表結(jié)構(gòu)的語法分析器　　
B.3 　參考文獻(xiàn)　　
附錄C 　Ruby 語言的DSL 相關(guān)特性　　
C.1 　Ruby 語言的DSL 相關(guān)特性　　
C.2 　參考文獻(xiàn)　　
附錄D 　Scala 語言的DSL 相關(guān)特性　　
D.1 　Scala 語言的DSL 相關(guān)特性　　
D.2 　參考文獻(xiàn)　　
附錄E 　Groovy 語言的DSL 相關(guān)特性　　
E.1 　Groovy 語言的DSL 相關(guān)特性　　
E.2 　參考文獻(xiàn)　　
附錄F 　Clojure 語言的DSL 相關(guān)特性　　
F.1 　Clojure 語言的DSL 相關(guān)特性　　
F.2 　參考文獻(xiàn)　　
附錄G 　多語言開發(fā)　　
G.1 　對IDE 的特性要求　　
G.2 　搭建Java 和Groovy 的混合開發(fā)環(huán)境　　
G.3 　搭建Java 　和Scala 　的混合開發(fā)環(huán)境 　
G.4 　常見的多語言開發(fā)IDE　　
索引