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