开发者需要了解的领域特定语言（DSL）
领域特定语言是在特定领域下用于特定上下文的语言。作为开发者，很有必要了解领域特定语言的含义，以及为什么要使用特定领域语言。
DSL
领域特定语言是在特定领域下用于特定上下文的语言。作为开发者，很有必要了解领域特定语言的含义，以及为什么要使用特定领域语言。

> 
> 领域特定语言是在特定领域下用于特定上下文的语言。作为开发者，很有必要了解领域特定语言的含义，以及为什么要使用特定领域语言。
> 
> 
> 


![](/data/attachment/album/202003/04/112240b0os2988kolritlo.jpg)


<ruby> 领域特定语言 <rt>  domain-specific language </rt></ruby>（DSL）是一种旨在特定领域下的上下文的语言。这里的领域是指某种商业上的（例如银行业、保险业等）上下文，也可以指某种应用程序的（例如 Web 应用、数据库等）上下文。与之相比的另一个概念是<ruby> 通用语言 <rt>  general-purpose language </rt></ruby>（GPL，LCTT 译注：注意不要和 GPL 许可证混淆），通用语言则可以广泛应用于各种商业或应用问题当中。


DSL 并不具备很强的普适性，它是仅为某个适用的领域而设计的，但它也足以用于表示这个领域中的问题以及构建对应的解决方案。HTML 是 DSL 的一个典型，它是在 Web 应用上使用的语言，尽管 HTML 无法进行数字运算，但也不影响它在这方面的广泛应用。


而 GPL 则没有特定针对的领域，这种语言的设计者不可能知道这种语言会在什么领域被使用，更不清楚用户打算解决的问题是什么，因此 GPL 会被设计成可用于解决任何一种问题、适合任何一种业务、满足任何一种需求。例如 Java 就属于 GPL，它可以在 PC 或移动设备上运行，嵌入到银行、金融、保险、制造业等各种行业的应用中去。


### DSL 的类别


从使用方式的角度，语言可以划分出以下两类：


* DSL：使用 DSL 形式编写或表示的语言
* <ruby> 宿主语言 <rt>  host language </rt></ruby>：用于执行或处理 DSL 的语言


由不同的语言编写并由另一种宿主语言处理的 DSL 被称为<ruby> 外部 <rt>  external </rt></ruby> DSL。


以下就是可以在宿主语言中处理的 SQL 形式的 DSL：



```
SELECT account
FROM accounts
WHERE account = '123' AND branch = 'abc' AND amount >= 1000
```

因此，只要在规定了词汇和语法的情况下，DSL 也可以直接使用英语来编写，并使用诸如 ANTLR 这样的<ruby> 解析器生成器 <rt>  parser generator </rt></ruby>以另一种宿主语言来处理 DSL：



```
if smokes then increase premium by 10%
```

如果 DSL 和宿主语言是同一种语言，这种 DSL 称为<ruby> 内部 <rt>  internal </rt></ruby>DSL，其中 DSL 由以同一种语义的宿主语言编写和处理，因此又称为<ruby> 嵌入式 <rt>  embedded </rt></ruby> DSL。以下是两个例子：


* Bash 形式的 DSL 可以由 Bash 解释器执行：



```
if today_is_christmas; then apply_christmas_discount; fi
```

同时这也是一段看起来符合英语语法的 Bash。
* 使用类似 Java 语法编写的 DSL：



```
orderValue = orderValue
            .applyFestivalDiscount()
            .applyCustomerLoyalityDiscount()
            .applyCustomerAgeDiscount(); 
```

这一段的可读性也相当强。


实际上，DSL 和 GPL 之间并没有非常明确的界限。


### DSL 家族


以下这些语言都可以作为 DSL 使用：


* Web 应用：HTML
* Shell：用于类 Unix 系统的 sh、Bash、CSH 等；用于 Windows 系统的 MS-DOS、Windows Terminal、PowerShell 等
* 标记语言：XML
* 建模：UML
* 数据处理：SQL 及其变体
* 业务规则管理：Drools
* 硬件：Verilog、VHD
* 构建工具：Maven、Gradle
* 数值计算和模拟：MATLAB（商业）、GNU Octave、Scilab
* 解析器和生成器：Lex、YACC、GNU Bison、ANTLR


### 为什么要使用 DSL？


DSL 的目的是在某个领域中记录一些需求和行为，在某些方面（例如金融商品交易）中，DSL 的适用场景可能更加狭窄。业务团队和技术团队能通过 DSL 有效地协同工作，因此 DSL 除了在业务用途上有所发挥，还可以让设计人员和开发人员用于设计和开发应用程序。


DSL 还可以用于生成一些用于解决特定问题的代码，但生成代码并不是 DSL 的重点并不在此，而是对专业领域知识的结合。当然，代码生成在领域工程中是一个巨大的优势。


### DSL 的优点和缺点


DSL 的优点是，它对于领域的特征捕捉得非常好，同时它不像 GPL 那样包罗万有，学习和使用起来相对比较简单。因此，它在专业人员之间、专业人员和开发人员之间都提供了一个沟通的桥梁。


而 DSL 最显著的缺点就在于它只能用于一个特定的领域和目标。尽管学习起来不算太难，但学习成本仍然存在。如果使用到 DSL 相关的工具，即使对工作效率有所提升，但开发或配置这些工具也会增加一定的工作负担。另外，如果要设计一款 DSL，设计者必须具备专业领域知识和语言开发知识，而同时具备这两种知识的人却少之又少。


### DSL 相关软件


开源的 DSL 软件包括：


* Xtext：Xtext 可以与 Eclipse 集成，并支持 DSL 开发。它能够实现代码生成，因此一些开源和商业产品都用它来提供特定的功能。用于农业活动建模分析的<ruby> 多用途农业数据系统 <rt>  Multipurpose Agricultural Data System </rt></ruby>（MADS）就是基于 Xtext 实现的一个项目，可惜的是这个项目现在已经不太活跃了。
* JetBrains MPS：JetBrains MPS 是一个可供开发 DSL 的<ruby> 集成开发环境 <rt>  Integrated Development Environment </rt></ruby>，它将文档在底层存储为一个抽象树结构（Microsoft Word 也使用了这一概念），因此它也自称为一个<ruby> 投影编辑器 <rt>  projectional editor </rt></ruby>。JetBrains MPS 支持 Java、C、JavaScript 和 XML 的代码生成。


### DSL 的最佳实践


如果你想使用 DSL，记住以下几点：


* DSL 不同于 GPL，DSL 只能用于解决特定领域中有限范围内的问题。
* 不必动辄建立自己的 DSL，可以首先尝试寻找已有的 DSL。例如 [DSLFIN](http://www.dslfin.org/resources.html) 这个网站就提供了很多金融方面的 DSL。在实在找不到合适的 DSL 的情况下，才需要建立自己的 DSL。
* DSL 最好像平常的语言一样具有可读性。
* 尽管代码生成不是一项必需的工作，但它确实会大大提高工作效率。
* 虽然 DSL 被称为语言，但 DSL 不需要像 GPL 一样可以被执行，可执行性并不是 DSL 需要达到的目的。
* DSL 可以使用文本编辑器编写，但专门的 DSL 编辑器可以更轻松地完成 DSL 的语法和语义检查。


如果你正在使用或将要使用 DSL，欢迎在评论区留言。




---


via: <https://opensource.com/article/20/2/domain-specific-languages>


作者：[Girish Managoli](https://opensource.com/users/gammay) 选题：[lujun9972](https://github.com/lujun9972) 译者：[HankChow](https://github.com/HankChow) 校对：[wxy](https://github.com/wxy)


本文由 [LCTT](https://github.com/LCTT/TranslateProject) 原创编译，[Linux中国](https://linux.cn/) 荣誉推出

