丨dsl你也可以設(shè)計一門自己的語言

這給具體的問題留下了一個空間，如果我們能把設(shè)計做到極致，它就能成為一門語言這種語言就是領(lǐng)域特定語言（ cuag稱DSL），它是一種用于某個特定領(lǐng)域的程序設(shè)計語言。這種特定于某個領(lǐng)域是相對于通用語言而言的，通用語言可以橫跨各個領(lǐng)域，我們熟悉的大多數(shù)程序設(shè)計語言都是通用語言。我在第8講，它們都是圖靈完備的，但DSL不必做到圖靈完備，它只要做到滿足DSL，我們還是有機會的。這一講我們就來談?wù)凞SL，看看我們可以怎樣設(shè)計自己的語言。，一設(shè)計語言多人上會懼心但實，你已經(jīng)種場合接觸過一些不同的L了。程序員最熟悉的一種L經(jīng)習(xí)慣使用正則表達式的你都不知道，但它確實就是一種，一種用于文本處理這個特L。如果你覺得正則表達式有點復(fù)雜，還有一種更簡單的DSL，就是配置文件。你可能真的不把配置文件當(dāng)作一種DSL，但它確實是在實現(xiàn)某個特定領(lǐng)域的需求，而且可以根據(jù)你的需一個典型的例子是Ngnix。無論你是用它單獨做Web服務(wù)器也好，做反向也罷，抑或是做負(fù)載均衡，只要通過Ngnix的配置文件，你都能實現(xiàn)。配合OpenResty，你甚至可以這么一說，你是不是覺得DSL經(jīng)過前面幾講的學(xué)習(xí)，你應(yīng)該知道了，語法只是一種接口。很多人說到設(shè)計DSL，腦子里實際想的也只是設(shè)計一種語法。所以，從軟件設(shè)計的角度看，DSL最終呈現(xiàn)出來的語法只MartinFowler在他的《領(lǐng)域特定語言》這本書中將這個模型稱為語義模型（SemanticModel）。不過，在我看來，MartinFowler起這個名字是站在語言開發(fā)的角度畢竟語想要實現(xiàn)一個DSL，可以這么說，DSL的語法本身都是次要的，模型才是第一位的。當(dāng)你有了模型之后所謂的構(gòu)建DS就相當(dāng)于設(shè)計一個接口，將模型的能力出來。當(dāng)把DSL理解成接口，我們接受DSL的心理負(fù)擔(dān)就小了很多。你可以想，它和你熟悉的RESTAPI其實沒有什么本質(zhì)的不同。既然是接口，形式就可以有很多種，我們經(jīng)常能接觸到的DSL主要有兩種：外部DSL和內(nèi)部DSL。MartinFowler在他的書中還提到了語言工作臺（LanguageWorkbench），不外部DSL和內(nèi)部DSL的區(qū)別就在于，DSL采用的是不是宿主語言（HostLanguage）。你可以這么理解，假設(shè)你的模型主要是用Java寫的，如果DSL用的就是Java語言，它就是內(nèi)部DSL，如果DSL用的不是Java，比如，你自己設(shè)計了一種語法，那它就是外部把概念說清楚了，一些問題便迎刃而解了。這也可以解釋為什么DSL讓有些人畏懼了，原因就是說起DSL，這些人想到的就是自己設(shè)計語法的外部的DSL。其實，即便是外部DSL，如果你是一個Java程序員，XML就再熟悉不過了。從Ant到Maven，從Servlet到Spring，曾經(jīng)的XML幾乎是無處不在的。如果你有，可以去找一些使用Ant做構(gòu)建工具的項目，項目規(guī)模稍微大一點，其XML配置文件的復(fù)雜程度就不亞于普通的源代碼。因為它本質(zhì)上就是一種用于構(gòu)建領(lǐng)域的DSL，只不過，它的語法是XML而已。正是因為這種DSL越來越復(fù)雜，后來，一種新的趨勢漸漸興起，就是用全功能語言（也就是真正的程序設(shè)計語言）做DSL，這是后來像Gradle這種構(gòu)建工具逐漸流行的原因，它們只是用內(nèi)部DSL替換了外部DSL。DSLDSL，二者之間的差別在于開發(fā)解析器。而外部DSL的復(fù)雜度要大于內(nèi)部DSL，因為內(nèi)部DSL連解析的過程都省略了。從實用性的角度，更好地挖掘內(nèi)部DSL的潛力對我們的實際工作助你或許會有一個疑問，內(nèi)部DSL聽上去就是一個程序庫啊！你這個理解是沒錯的。我們前特定領(lǐng)域時，它就是一個內(nèi)部DSL，這個內(nèi)部DSL的語法就是這個程序庫的用法。DSL，MartinFowler們要創(chuàng)建一個Computer的實例，如果用普通風(fēng)格的代碼寫出來，應(yīng)該是這個樣子：代代Processorp=newProcessor(2,2500,Processor.Type.i386);Diskd1=newDiskd2=newDisk(75,7200,returnnewComputer(p,d1,而用內(nèi)部DSL 12如果這是一段普通的Java代碼，我們看到一連串的方法調(diào)用，一定會說，這段代碼糟糕至極！但在這個場景下，和前面的代碼相比，這段代碼省去了好多變量，反而是清晰了。這其中的差別在哪里呢？行。做動作是在說明怎么做（o），而的代碼則是在說做什What實現(xiàn)分離開來，是內(nèi)部L與普通的程序代碼一個重要的區(qū)別，同樣，這也是一個好設(shè)計的考慮因素。MartinFowler在討論DSLDSL的4計算機程序設(shè)計語言（Computerprogramminglanguage）；語言性（Languagenature）；受限的表達性（Limitedexpressiveness）； 其中，語言性強調(diào)的就是DSLL點是要體現(xiàn)出意圖。拋開是否要實現(xiàn)一個DSL不說，的確，程序員在寫代碼時應(yīng)該關(guān)注代碼的表達能力，而這也恰恰是很多程序員忽略的，同時也是優(yōu)秀程序員與普通程序員拉開差距的地方。DSL個內(nèi)部DSL，但學(xué)會將意圖與實現(xiàn)分離開，這件事對日常寫代碼也是有極大價值的。這個，你以很理解設(shè)計的一要發(fā)勢：式編現(xiàn)在一些程序設(shè)計語言的語法就是為了方便進行式編程，典型的例子就是Jaa的Annotatin。正是它的出現(xiàn)，pringXMLL就逐步轉(zhuǎn)向了今天常用的L了，也就是很多人熟悉的JavaConfig。今天，我們討論了領(lǐng)域特定語言，這是針對某個特定領(lǐng)域的程序設(shè)計語言。DSL發(fā)領(lǐng)域中得到了廣泛的應(yīng)用。要實現(xiàn)一個DSL，首先要構(gòu)建好模型。常見的DSL主要是外部DSL和內(nèi)部DSL。二者的主要區(qū)別在于，DSL采用的是不是宿主DSL，內(nèi)部DSL內(nèi)部DSL體現(xiàn)的是表達能力，相對于傳統(tǒng)的代碼編寫方法而言，這種做法很好地將作者的意圖體現(xiàn)了出來。即便我們不去設(shè)計一個內(nèi)部DSL，這種寫代碼的方式也會對我們代碼如果今天的內(nèi)容你只能記住一件事，那請記?。汉玫脑O(shè)計要邁向DSL，我們可以從編寫有最后，請你一下，你還能舉出哪些DSL的例子呢？歡迎在留言區(qū)你的想法。 售賣。頁面已增加防盜追蹤，將依法其上一 10|語言的實現(xiàn)：運行時，軟件設(shè)計的地下一 加餐|再八卦幾門語言言言一些ORM框架對L這些L進行了進一步的封裝提供了式注解，相當(dāng)于構(gòu)建在之上的L翻譯器。面向