淺談?lì)I(lǐng)域特定語(yǔ)言

　　領(lǐng)域特定語(yǔ)言（domain-specific languages，簡(jiǎn)稱DSL）

　　在定義DSL是什么的問題上，F(xiàn)lowler認(rèn)為目前經(jīng)常使用的一些特征，例如“關(guān)注于領(lǐng)域”、“有限的表現(xiàn)”和“語(yǔ)言本質(zhì)”是非常模糊的。因此，唯一能夠確定DSL邊界的方法是考慮“一門語(yǔ)言的一種特定用法”和“該語(yǔ)言的設(shè)計(jì)者或使用者的意圖”：

　　如果XSLT的設(shè)計(jì)者將其設(shè)計(jì)為XML的轉(zhuǎn)換工具，那么我認(rèn)為XSLT是一個(gè)DSL。如果一個(gè)用戶使用DSL的目的是該DSL所要達(dá)到的目的，那么它一個(gè)DSL，但是如果有人以通用的方式來(lái)使用一個(gè)DSL，那么它（在這種用法下）就不再是一個(gè)DSL了。

　　以Fowler的觀點(diǎn)，DSL首先是一種幫助用戶從一個(gè)系統(tǒng)中抽象出某些部分的工具。所以“當(dāng)你意識(shí)到你需要一個(gè)組件，或者當(dāng)你已經(jīng)有了一個(gè)組件而你希望簡(jiǎn)化操作它的方式的時(shí)候”，DSL是有用的。使用DSL確實(shí)提供了某些益處。DSL不僅提高了代碼的易讀性，讓開發(fā)者可以和領(lǐng)域?qū)＜腋玫慕涣鳎沂歉淖儓?zhí)行上下文的一種手段，例如：把邏輯從編譯時(shí)切換到運(yùn)行時(shí)，或者當(dāng)命令式編程不是很合適的時(shí)候轉(zhuǎn)用聲明式計(jì)算模型。

　　DSL包含哪些部分，有哪些分類

　　DSL主要分為三類：外部DSL、內(nèi)部DSL，以及語(yǔ)言工作臺(tái)。

　　外部DSL是一種“不同于應(yīng)用系統(tǒng)主要使用語(yǔ)言”的語(yǔ)言。外部DSL通常采用自定義語(yǔ)法，不過(guò)選擇其他語(yǔ)言的語(yǔ)法也很常見（XML就是一個(gè)常見選擇）。宿主應(yīng)用的代碼會(huì)采用文本解析技術(shù)對(duì)使用外部DSL編寫的腳本進(jìn)行解析。一些小語(yǔ)言的傳統(tǒng)UNIX就符合這種風(fēng)格。可能經(jīng)常會(huì)遇到的外部DSL的例子包括：正則表達(dá)式、SQL、Awk，以及像Struts和Hibernate這樣的系統(tǒng)所使用的XML配置文件。

　　內(nèi)部DSL是一種通用語(yǔ)言的特定用法。用內(nèi)部DSL寫成的腳本是一段合法的程序，但是它具有特定的風(fēng)格，而且只用到了語(yǔ)言的一部分特性，用于處理整個(gè)系統(tǒng)一個(gè)小方面的問題。用這種DSL寫出的程序有一種自定義語(yǔ)言的風(fēng)格，與其所使用的宿主語(yǔ)言有所區(qū)別。這方面最經(jīng)典的例子是Lisp。Lisp程序員寫程序就是創(chuàng)建和使用DSL。Ruby社區(qū)也形成了顯著的DSL文化：許多Ruby庫(kù)都呈現(xiàn)出DSL的風(fēng)格。特別是，Ruby最著名的框架Rails，經(jīng)常被認(rèn)為是一套DSL。

　　語(yǔ)言工作臺(tái)是一個(gè)專用的IDE，用于定義和構(gòu)建DSL。具體來(lái)說(shuō)，語(yǔ)言工作臺(tái)不僅用來(lái)確定DSL的語(yǔ)言結(jié)構(gòu)，而且是人們編寫DSL腳本的編輯環(huán)境。最終的腳本將編輯環(huán)境和語(yǔ)言本身緊密結(jié)合在一起。

　　多年來(lái)，這三種風(fēng)格分別發(fā)展了自己的社區(qū)。你會(huì)發(fā)現(xiàn)，那些非常擅長(zhǎng)使用內(nèi)部DSL的人，完全不了解如何構(gòu)造外部DSL。我擔(dān)心這可能會(huì)導(dǎo)致人們不能采用最適合的工具來(lái)解決問題。我曾與一個(gè)團(tuán)隊(duì)討論過(guò)，他們采用了非常巧妙的內(nèi)部DSL處理技巧來(lái)支持自定義語(yǔ)法，但我相信，如果他們使用外部DSL的話，問題會(huì)變得簡(jiǎn)單許多。但由于對(duì)如何構(gòu)造外部DSL一無(wú)所知，他們別無(wú)選擇。因此，在本書中，把內(nèi)部DSL和外部DSL講清楚對(duì)我來(lái)說(shuō)格外重要，這樣你就可以了解這些信息，做出適當(dāng)?shù)倪x擇。（語(yǔ)言工作臺(tái)稍顯粗略，因?yàn)樗鼈兒苄?，尚在演化之中。?/p>

　　另一種看待DSL的方式是：把它看做一種處理抽象的方式。在軟件開發(fā)中，我們經(jīng)常會(huì)在不同的層面上建立抽象，并處理它們。建立抽象最常見的方式是實(shí)現(xiàn)一個(gè)程序庫(kù)或框架。操縱框架最常見的方式是通過(guò)命令/查詢式API調(diào)用。從這種角度來(lái)看，DSL就是這個(gè)程序庫(kù)的前端，它提供了一種不同于命令/查詢式API風(fēng)格的操作方式。在這樣的上下文中，程序庫(kù)成了DSL的“語(yǔ)義模型”，因此，DSL經(jīng)常伴隨著程序庫(kù)出現(xiàn)。事實(shí)上，我認(rèn)為，對(duì)于構(gòu)建良好的DSL 而言，語(yǔ)義模型是一個(gè)不可或缺的附屬物。

　　談及DSL，人們很容易覺得構(gòu)造DSL很難。實(shí)際上，通常是難在構(gòu)造模型上，DSL只是位于其上的一層而已。雖然讓DSL 工作良好需要花費(fèi)一定的精力，但相對(duì)于構(gòu)建底層模型，這一部分的付出要少多了。

　　1. 我們常常會(huì)看到這樣一種劃分：一方面是程序庫(kù)／框架或者組件的實(shí)現(xiàn)代碼；另一方面是配置代碼或組件組裝代碼。從本質(zhì)上說(shuō)，這種做法分開了公共代碼和可變代碼。用公共代碼構(gòu)建一套組件，然后根據(jù)不同的目的進(jìn)行配置。

　　2. “聲明式”是一個(gè)非常模糊的術(shù)語(yǔ)，但是它通常適應(yīng)于所有遠(yuǎn)離了命令式編程的方式。。。。遠(yuǎn)離變量倒換，用xml的子元素表示狀態(tài)的動(dòng)作和轉(zhuǎn)換。

　　3. DSL扮演領(lǐng)域?qū)＜液蜆I(yè)務(wù)分析人員之間的交流媒介。。。

　　4. 文本DSL有兩種，稱為外部DSL和內(nèi)部DSL。外部DSL是指，在主程序設(shè)計(jì)語(yǔ)言之外，用一種單獨(dú)的語(yǔ)言表示領(lǐng)域?qū)Ｓ谜Z(yǔ)言。內(nèi)部DSL是指，用通用語(yǔ)言的語(yǔ)法表示的DSL；

　　5. 是什么讓內(nèi)部DSL不同于通常的api呢？。。。連貫接口，這個(gè)術(shù)語(yǔ)強(qiáng)調(diào)這樣一個(gè)事實(shí)：內(nèi)部DSL實(shí)際只是某種形式的api，只不過(guò)其設(shè)計(jì)考慮了連貫性難以琢磨的質(zhì)量。

　　xx：后續(xù)在4.1節(jié)還會(huì)論述這個(gè)問題，DSL與api調(diào)用的區(qū)別，從這里看，兩者都提供一種抽象，但DSL在抽象的設(shè)計(jì)上考慮了連貫性。

　　在講完以上內(nèi)容后，提出DSL由三部分組成，即語(yǔ)言，語(yǔ)義模型和代碼生成。語(yǔ)言只是用一種可讀的方式來(lái)組裝語(yǔ)義模型。

　　6. 我強(qiáng)烈建議，幾乎始終應(yīng)該使用語(yǔ)義模型。。。。語(yǔ)義模型，清晰的將語(yǔ)言解析和結(jié)果語(yǔ)義的關(guān)注點(diǎn)切分開，。。?？梢詥为?dú)推究狀態(tài)機(jī)的運(yùn)作機(jī)制，增強(qiáng)和調(diào)試，無(wú)須估計(jì)語(yǔ)言。

　　DSL只是模型一個(gè)薄薄的門面

　　7.許多人用了代碼生成之后，就舍棄了語(yǔ)義模型，他們?cè)诮馕?輸入文本之后，就直接產(chǎn)生生成的代碼。。。不推薦任何人這么做。語(yǔ)義模型的存在，可以將解析，執(zhí)行語(yǔ)義以及代碼生成分開。

　　最后推薦一個(gè)開發(fā)DSL的語(yǔ)言工作臺(tái)，MetaEdit