结束语等待你大展身手那些领域一手资源.pdfVIP

APP

结束语｜等待你大展身手的那些领域

2021-11-24宫文学

《手把手带你写一门编程语言》课程介绍

讲述：宫文学



时长14:21大小13.15M

你好，我是宫文学。

到今天为止，我们这门课的主要内容就都更新完了。不过，还有一些补充性的内容，我会

通过加餐和开源项目的方式，继续和你保持沟通。

今天的结束语，跟你探讨一下，学习实现一门语言的相关技术，到底会有什么用途。

我会分成领域编程语言、平台级的软件和通用编程语言这三个话题，分析一下编程语言技

我会分成领域编程语言、平台级的软件和通用编程语言这三个话题，分析一下编程语言技

术能帮助你抓住哪些机会，让你有机会从普通的程序员进阶成大神级的程序员，并创造

术能帮助你抓住哪些机会让你有机会从普通的程序员进阶成大神级的程序员并创造

一些卓越的产品。

首先，我们来谈谈领域编程语言这个话题。

1/11

领域编程语言（DSL）

对于我们大部分同学来说，其实很难有机会，或者也没有这个意愿，去参与实现一门通用

性编程语言。不过，其实在大部分情况下，我们也没有必要追求那么大的目标。有时候，

针对我们所在的领域，实现一门领域编程语言，就是很有意义、很有成就感的事情。

我举几个我遇到的DSL的例子，看看能否抛转引玉，让你找到可以设计和使用DSL

的场景。

MiniZinc：最优化领域的开发工具

在2020年的12月，我曾经研究了一下最优化算法相关的技术和工具，看看它能否用于我

们的一个产品。

很多同学在大学都学过最优化相关的理论，像线性规划、非线性规划这些，都属于这个领

域。你也可能听运筹学，它们的意思差不多。最优化理论在实践中有很多用途。比

如，我要解决一个应用问题，就是在某个领域，有很多员工，也有很多任务要完成。每个

员工的技能是不同的，我需要通过算法来安排这些员工的工作，取得整体最优的效果。

为了实现最优化求解，有人开发了各种求解器，有商业的，也有开源的。但对于我一个新

手来说，我一开始并不知道要用哪个工具，有点茫然。

通过某些途径，我了解到了MiniZinc这个工具。这个工具提供了一种DSL，能够描述各

种最优化问题，然后调用各种不同的求解器来求解。比如在下图，你能看到菜单栏有一个

下拉菜单，里面有多个求解器。

2/11

MiniZinc这个工具一下子解决了我的两个需求。首先，这个DSL很友好、很直观。你完

全可以按照最优化的理论，描述一个问题的变量、参数、约束条件，然后就可以求解了，

非常方便。第二，我暂时也不用关心不同的求解器的差别，可以随便选一个先用着，或者

换着用不同的求解器，看看它们在性能和求解结果有哪些差异。

所以我很快就用MiniZinc编写了几个小程序来验证我的想法，并在较短的时间内取得了一

些成果。

在使用这个工具的时候，我就在想，上过我这门课的同学，有没有能力做这么一个工具

呢？我们来分析一下。

其实，要实现MiniZinc，主要的工作就是实现一个编译器的前端，做词法分析、语法分析

和语义分析工作。这个DSL的语法和语义都不是很复杂，所以工作量并不大。

3/11

做完前端的工作以后，程序就可以基于AST来解释执行了。解释执行的过程，其实就是调

用各个求解器的API，并把结果显示到界面上。

这么一个小工具，会给那些最优化领域的工作者和科研人员带来很大的便利。因为他们通

常专注于研究算法，对于通用的计算机编程并不是很熟练。

那在