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

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

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

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

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