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

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