DSL專(zhuān)用語(yǔ)言

所謂領(lǐng)域?qū)Ｓ谜Z(yǔ)言(domain specific language / DSL)，其基本思想是“求專(zhuān)不求全”，不像通用目的語(yǔ)言那樣目標(biāo)范圍涵蓋一切軟件問(wèn)題，而是專(zhuān)門(mén)針對(duì)某一特定問(wèn)題的計(jì)算機(jī)語(yǔ)言。DSL之于程序員正如伽南地之于以色列人，是最初也是最終的夢(mèng)想。幾乎自計(jì)算機(jī)發(fā)明伊始，人們就開(kāi)始談?wù)揇SL使用DSL了。而前幾年隨著被譽(yù)為“Web開(kāi)發(fā)領(lǐng)域?qū)Ｓ谜Z(yǔ)言”的Ruby on Rails迅速走紅，DSL又一次成為人們討論的熱點(diǎn)話題。很多人都認(rèn)為，DSL將會(huì)是軟件業(yè)的“next big thing”。然而隨著DSL的日益流行，圍繞著DSL出現(xiàn)了很多質(zhì)疑和誤解，比如下面這幾個(gè)：

1. DSL的目標(biāo)受眾是非程序員，業(yè)務(wù)員或者最終用戶在很多人的心中，DSL等同于“非程序員的編程語(yǔ)言”(programminglanguage for non-programmers)，因此DSL的最終受眾應(yīng)該是非程序員，一切不直接被最終用戶使用的DSL都不是真正的DSL，僅僅是另一種使代碼看起來(lái)不像代碼的無(wú)聊技巧。這是一個(gè)很有趣的觀點(diǎn)，事實(shí)上在計(jì)算編程語(yǔ)言發(fā)展的歷史上，的的確確出現(xiàn)過(guò)“非程序員的編程語(yǔ)言”，而且還非常有名，它們就是FORTRAN，COBOL這些第一代高級(jí)語(yǔ)言。在當(dāng)時(shí)的那個(gè)時(shí)代，計(jì)算機(jī)的主要目的是科學(xué)計(jì)算，而程序員則是專(zhuān)指那些擺弄開(kāi)關(guān)，繼電器，紙帶以及匯編語(yǔ)言的geek們。而計(jì)算機(jī)的主要受益者非程序員——也就是那些學(xué)者和研究員——不得不委托這些人幫助它們完成從數(shù)學(xué)公式到機(jī)器指令的轉(zhuǎn)換。于是第一代高級(jí)語(yǔ)言的主要目的是縮短計(jì)算公式和可執(zhí)行的代碼之間的差距(比如Fortran)，或者是簡(jiǎn)化信息管理員的日常工作(比如COBOL)。有趣的是，恰恰是這些當(dāng)年的“非程序員”把軟件開(kāi)發(fā)發(fā)展成了一門(mén)正當(dāng)且頗為體面的職業(yè)。其實(shí)當(dāng)年的“非程序員的編程語(yǔ)言”與的DSL境況頗為相似，所不同的是，當(dāng)代企業(yè)級(jí)信息系統(tǒng)更為復(fù)雜，所關(guān)注的焦點(diǎn)逐漸從計(jì)算轉(zhuǎn)移到數(shù)據(jù)上，業(yè)務(wù)領(lǐng)域和計(jì)算機(jī)的物理過(guò)程也不再具有簡(jiǎn)單直接的對(duì)應(yīng)關(guān)系了。

而且隨著社會(huì)分工細(xì)化，就算是通過(guò)DSL，我們?nèi)匀徊惶赡馨涯切┮鹿诔腍R們，銷(xiāo)售們，部門(mén)經(jīng)理們統(tǒng)統(tǒng)拉下水變成新新程序員。我仍然要承認(rèn)，以最終用戶為目標(biāo)受眾的DSL是一個(gè)很引人側(cè)目很有意思的主意，但是在相當(dāng)長(zhǎng)的一段時(shí)間內(nèi)都是不太現(xiàn)實(shí)的。或許我們需要新的方法(比如精益)來(lái)協(xié)調(diào)IT部門(mén)和業(yè)務(wù)部門(mén)，或許我們需要全新的軟件工程理論，或者某些非常具有獨(dú)創(chuàng)性的工作方式。

2.DSL = 整潔的代碼這種觀點(diǎn)與前面的觀點(diǎn)正好相反，把DSL完全當(dāng)作程序員的游戲，把一切能將代碼寫(xiě)得整齊好看的技巧都?xì)w結(jié)為DSL。雖然從形式上看DSL和“整潔的代碼”都具有簡(jiǎn)潔清晰的特征，但并不能因此將簡(jiǎn)單將兩者草率地歸為等同。從概念上說(shuō)，程序的編寫(xiě)過(guò)程就是把業(yè)務(wù)領(lǐng)域中的問(wèn)題通過(guò)代碼或者程序模型表達(dá)出來(lái)：由于計(jì)算機(jī)的程序模型較為單一(歸根結(jié)底都是運(yùn)算和存儲(chǔ))，就算是在面向?qū)ο蠹夹g(shù)成為主流，通常情況下，計(jì)算機(jī)程序不太可能做到與業(yè)務(wù)領(lǐng)域中的概念一致，或者具有某些直覺(jué)的對(duì)應(yīng)。也這正是因?yàn)檫@樣，軟件的修改和可維護(hù)性并沒(méi)有想象中的容易。我們必須不斷地將業(yè)務(wù)領(lǐng)域中的概念轉(zhuǎn)換成相應(yīng)的代碼模型，然后再進(jìn)行修改。這種間接性直接造成了軟件的復(fù)雜度。而DSL的主要目的就是要消除這樣的復(fù)雜度(或者說(shuō)，以構(gòu)造DSL的復(fù)雜度代替這種復(fù)雜度)，DSL就要是要以貼近業(yè)務(wù)領(lǐng)域的方式來(lái)構(gòu)造軟件。因此，DSL的簡(jiǎn)潔性往往是一種思維上的簡(jiǎn)潔性，使我們不用費(fèi)太多的氣力就能看懂代碼所對(duì)應(yīng)的業(yè)務(wù)含義。

從這里我們可以看出DSL和“整潔的代碼”的根本不同，“整潔的代碼”只是泛泛的要求代碼簡(jiǎn)潔易懂，而不太在意是否貼近業(yè)務(wù)領(lǐng)域。比如對(duì)于一個(gè)J2EE開(kāi)發(fā)者來(lái)說(shuō)，DAO，DTO，F(xiàn)ormBean，Action已經(jīng)足夠清晰了，但是這卻跟DSL沾不上一絲的關(guān)聯(lián)。DSL更注重強(qiáng)調(diào)使用業(yè)務(wù)詞匯，盡可能貼近業(yè)務(wù)模型來(lái)編寫(xiě)代碼，使業(yè)務(wù)模型和程序模型之間具有簡(jiǎn)潔的對(duì)應(yīng)關(guān)系。因此我們不能將DSL等同于“整潔的代碼”，只能說(shuō)DSL是一種“整潔的代碼”而已。