MartinFowler的《Language WorkBench》笔记

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，让人无法忽略它的进度。