BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

JetBrains元编程系统支持面向语言编程和DSL

| 作者 Srini Penchikala 关注 39 他的粉丝 ,译者 郭晓刚 关注 0 他的粉丝 发布于 2009年1月4日. 估计阅读时间: 6 分钟 | CNUTCon 了解国内外一线大厂50+智能运维最新实践案例。

Meta Programming System(MPS)是JetBrains开发的面向语言编程的新工具。开发者可以用它扩展编程语言,也可以用它为企业应用创建领域特定语言(DSLs)。JetBrains开发团队近日宣布推出MPS的beta版。

MPS提供的软件开发环境可以创建新的定制语言,也可以扩展现有语言,然后用它们开发面向领域的应用。MPS还可以定义新语言的类型系统、约束和专门的编辑器。MPS用一棵抽象句法树(AST)来维护代码。AST由节点组成,节点又包含属性、子节点和引用,程序代码就靠AST和这些节点完整地表达出来。创建新语言的时候,开发者定义代码编排和表达的规则,还可以规定语言类型系统的组成元素。MPS凭借这些规则即时检查程序代码,减少用新语言编程的出错机会。MPS还采用了代码生成的办法:用新语言在更高的层次上表达,然后MPS生成Java、XML、HTML、JavaScript等语言的可编译代码。用MPS建立新语言的时候,必须从BaseLanguage扩展。MPS已经提供了一些常用的BaseLanguage扩展,协助开发者处理字符串、容器、日期、正则表达式等语言成分。

面向语言编程(LOP)是一种新的编程风格。在LOP里,语言好比传统编程中的类和方法,是搭建软件所用的建筑材料,开发者根据需要,或创建专门的新语言,或对旧语言作扩展。Martin Fowler 曾撰文说明用语言工作台作为IDE工具去实现面向语言编程,也介绍过用MPS作为语言工作台。

MPS还适合用来创建DSL,因为它可以为任意新语言实现定制的语言编辑器和其他约束条件。不熟悉传统编程的领域专家,可以用本行专业术语构成的DSL在MPS里工作。

MPS软件对所有人免费,其中大部分代码还会以Apache 2.0许可开源。MPS起初是JetBrains从2003年开始的一个研究项目,JetBrains员工已经用它开发过一些新产品。目前团队的主要目标是下个月的Beta 2版,以及2009年第一季度的1.0版。11月的时候JetBrains还发布过IDE产品IntelliJ IDEA的8.0版,团队协作工具的TeamCity的4.0版。MPS beta版下载概念说明,请参阅他们的网站。网站上还有用户指南教程和专门的博客站点介绍MPS工具的详细信息。

InfoQ采访了JetBrains公司MPS核心开发者Konstantin Solomatov,向他询问MPS的软件功能和项目未来的路线图。InfoQ问及MPS与其它建模及代码生成工具的对比,比如Eclipse Modeling Framework(EMF)、openArchitectureWare(oAW)。

MPS所依据的概念与EMF、oAWE类似。三种技术都可以创建元模型,也都可以描述编辑器、自动完成、模型转换(MPS称之为“生成器”)等方面。EMF模型通常用图形编辑器来编辑,你可以用方框线条绘制出代表各实体的图解。这种做法对某些领域很有效,比如绘制ER图。但我们认为不适宜用EMF创建任何相对复杂的软件。

oAW最值得注意的部分的xText框架,它定义的文字型DSL可以被解析成EMF模型。不过用这种方式创建语言有其局限。如果在同一个文件里混用多种语言,必须保证文法不会出现二义性,也就是说所有的输入都只能存在一种解释。文本型的语言很难保证这一点。比方说有两家厂商都想为Java补充一种支持金融货币的语言,而两家厂商都在语言里新增了Money类型。那么,如果代码里两种类型都用到了,我们解析文件的时候就无法分辨一个Money类型的变量到底属于哪一种语言。

MPS把模型表示成一棵可以直接编辑的抽象句法树。在MPS里,代码看似文本,在很多方面的表现也如同文本,但由于我们从不需要在代码和文本之间来回转换,也就完全不用担心文法上的二义性。

好像MPS还可以编排语言的文法。这项功能与OsloOMeta等工具的类似功能有何异同?

因为MPS不是基于文本的,它没有任何文本上的文法。定义语言就是定义它的抽象句法树,它的抽象文法。而没有文本上的文法,也就没有语言兼容的问题,语言从定义上就是兼容的。Oslo和Ometa都是基于文本的,因此都有类似于xText的问题。

Oslo和Ometa只能定义语言的解析器,与之相比,MPS的功能更多,能定义语言的编辑器、约束、类型系统、数据流分析,还有生成器。

JetBrains开发团队在那些产品中采用了MPS作为建模和开发工具?

其中一个是代号为“Charisma”的问题跟踪系统,它也会在2009年第一季度公开发布。它是完全用MPS编写的。Charisma也成了MPS本身所用的问题跟踪系统,还被用到TeamCity凳产品中。在创建Charisma的时候,我们开发了一门完整的Web开发语言,在MPS中扮演相当于J2EE的角色。

MPS项目的未来路线图如何,有何新特性?

本次Beta的主要目的是收集MPS用户的反馈,并且决定将来的路线图。我们已经有1.0的计划,不过1.0版不会有任何大的变动和新特性。我们将在2009第一季度发布完MPS 1.0之后,再公布更长远的路线图。届时计划中应该会包括调试器和用于定义UI的若干新语言。

查看英文原文:JetBrains Meta Programming System Supports Language Oriented Programming and DSLs

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

MPS里面有提到devkit是什么个概念 by gao.jiadong gao.jiadong

希望有人能解释下devkit。

Re: MPS里面有提到devkit是什么个概念 by 张 晓庆

希望有人能解释下devkit。

据我的理解,devkit类似一个已有的开发工具包,里面应该包含了当前语言会使用的其它语言,或者说是领域特定语言。

Jetbrains这里给了一些概念,希望能有帮助:
www.jetbrains.net/confluence/display/MPS/MPS+pr...

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

2 讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT