JetBrains的MPS出来了,Martin Fowler也大力捣鼓出一篇《Language Workbenches: The Killer-App for Domain Specific Languages?》,成为有志于LOP、DSL领域的总领性文章。
首先,了解Martin Fowler的立场很重要。但似乎为了保证阅读率,MF把立场摆到了最后。
1. LOP带来的两个最大优点是
a. 通过新的封装及思维模式,提高程序员的生产率。
b. 改变程序员与领域专家的关系,最理想情况是领域专家直接用DSL编程。
MF认为第2点比第1点带来的效果大得多,但也困难得多。COBOL刚出来的时候已经有人提领域专家直接编程了,结果呢?
2.现在大家对DSL应该是什么样子的还知之甚少,文本语言?图形语言?一切都还在假设。
3.现在的LOP工具还在非常初始的阶段。
4.但MF同时认为LOP是目前最有趣的想法,不论它日后成不成功,都会激发出大量有趣的思想与实践,留意一下LOP是绝不会吃亏的事情。
是不是热情骤减?本来MPS的发布使LOP看起来像是明天就可以开始动手的事情,现在又变成了虽然很有趣,但还远没到下山摘果子时候。
从头读一遍文章
1.开头 A Simple example of LOP
Martin举的这个例子占了全文1/3的篇幅,又长又不刺激神经,看得大家频频起身吃零食,上厕所....
2.传统的LOP
MDA不是什么新概念,DSL当然也用不着是,DSL其实早就在我们身边,包括
1.Unix下用yacc打造的微型DSL
2.Lisp,fp用自身来构造DSL
3.XML配置文件
4.GUI描述文件(VB, Delphi....)
5.Adaptive Object Models and Active Data Models? (没完全理解)
(注:SQL也算吧)
3.External DSL和Internal DSL
DSL分内外两种,像yacc这种把DSL parser后translate成base语言的属于External DSL。
而Lisp这种用语言本身来构造新的语言的称为Internal DSL。
External DSL的好处是它可以是任何样子的,不受Base语言的制约。另外它也通常是运行时解释的。
不好的地方:
第一, 它需要花很多时间去设计语言,写Parser,写Generator,写IDE。
第二, 不能直接使用Base语言的IDE,在后IntelliJ时代这让人很不爽.
第三, 需要学太多语言和思维方式,不是指if-else语法的不同,而是在java里我们已经习惯了用Object和Method来表达想法,但在其他DSL里则可能要运用完全不同的概念,比如文章开头的例子。
而Internal DSL和External DSL的优缺点很多地方正好调转。而且Lisp,Smalltalk的语法和我们平常的Java,C#差别很大。还有,最近Ruby们好像也有可能用来写Internal DSL了。
正是因为两种DSL都缺点明确,所以DSL在今天这么不普及。Language workbeanch,正是为了使External DSL变得容易而出现的。
4.今天的Language Workbeanch
有Intentional Software的IP, JetBrains的MPS和微软的软件工厂。
1.一段DSL将有一个Editble reprensentation,一个storage reprentsentation,一个编译后的excuteble reprentsentation,一个在editor中的AST-Astraction reprensentation。其中editble和storage reprensentation可以合一,也可以分开。
2.定义一个新DSL的三个步骤:
a.定义语言的schema
b.定义编辑器
c.定义Generator
一个DSL可以拥有多种编辑器和代码生成器。
5.Language WorkBench的优缺点
优点:
1.省却了写Parser,直接定义抽象语法。
2.省却了写IDE。
3.IDE的语法提示与语法检查,给领域专家直接编写提供了可能,这是COBOL时代没有的。
4.DSL与项目的良好集成,可以项目与DSL语法一起refactor,可以一边设计语言一边使用语言。
缺点:
1.Vendor专属,用了MPS,就不可能再转到IP或者微软,因为他们之间根本没有标准可言。
2.但Generator并没有比以前简单(要命阿)。
3.现在代码以astraction reprensention为中心,版本管理,AST支持diff/merge的问题。
6.我的立场
试用了一下MPS,因为Generator还没有革命性的突破,MPS还没到真正可用的时候。
不过几个月间,MPS EAP已经从初始的150版本升级到220,让人无法忽略它的进度。