面向语言编程：超越面向对象编程的革命性进步？

在巴塞罗那举行的 Server Side's Java 专题讨论会上，Martin Fowler 和 Neal Ford 做了一场展示面向语言编程的重要报告。Fowler 曾撰文将面向语言编程定义为“围绕一组领域特定语言来构建软件的编程风格”。Fowler 和 Ford 又进一步发展了其中的一些想法（可参见Fowler at Jaoo 2006），并提出了“超越面向对象编程的革命性进步”的可能性。

面向对象编程以分层结构和树状的抽象提供了一种有用的建模范式。然而现实并不总是按层次组织的，Neal Ford 指出。现实的“盘根错节，彼此联系”是很难用理想化的树状画面来勾勒其模型的。其结果就是现在广泛使用的 aspects 和 XML，它们渐渐地增加了复杂性，并侵蚀了我们实施抽象的原意。为了弥补这个问题，抽象的水平应该再次提升，因此 Ford 建议用语言取代分层来作为建模机制。

按照 Martin Fowler 的说法，面向对象的领域建模让我们得以“汇集词汇”，但语法——将词汇组合起来的方法——却是缺失的；DSL 补足了语法的方面。因此面向语言编程引导我们“从思考词汇，即对象，走向一种结合了词汇和语法的语言观念。”

对 Neal Ford 来说，用 DSL 来作为一种新的抽象机制令他特别感兴趣的是，它能填补上下文的空缺。在缺乏上下文的环境中，你要“从最基本的共识着手并解释所有的细节”。这就是你与 API 和框架沟通的方式，因为它们没有“任何内建的上下文”。因此代码中总是不断重复一些上下文，以致成了干扰。相反 DSL“总是有着隐含的上下文，上下文几乎从不露面，就算露面也是很少很少，通常最多一次”。因此我们不必一再地提供上下文信息，于是代码更具可读性，也更有表现力。

Fowler 和 Ford 都强调了可读性的重要。他们认为 DSL 的动机经常被误解。目的并不是为了让业务分析师能够自己写代码，而是为了让他们能够阅读和检验代码，从而填补专业开发者和业务人员之间的罅隙。

有些人厌恶使用面向语言编程的风格，因为他们担心维护的问题以及增加的学习负担，特别是在缺乏强大的 IDE 来处理这些纯文字的 DSL 的情况下。Fowler 最近在一篇文章中反对说“大一点的框架 [……] 带来的挑战一点都不比学一门语言少”，他再次强调了单一语言编写的项目的复杂性。并且，Neal Ford 强调说如果一门 DSL 很难读，那么它的设计就是很糟糕的，因为“[使用 DSL 的] 目的之一就是为了创造出更容易阅读的代码”。

至于 IDE 支持，现今至少有三家主要厂商正为面向语言编程提供这一类工具：Charles Simonyi 开发的 Intentional Software，Microsoft 的 Software Factories 和 JetBrains 开发的 Meta Programming System。这些工具，Martin Fowler 称之为语言工作台（Language Workbench），让设计并使用 DSL 变得更加简单。这些工具提高了面向语言编程的竞争优势，虽然 Fowler 相信“还要过几年大多数人才会考虑用 [语言工作台] 来开发实际的项目。”

你怎么看？面向语言编程有机会成为“下一位明星”吗？语言工作台的能力会在多大程度上影响你在项目中采用 DSL 的决策呢？