2025上半年,最新 AI实践都在这!20+ 应用案例,任听一场议题就值回票价 了解详情
写点什么

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

  • 2009-01-03
  • 本文字数:1989 字

    阅读完需:约 7 分钟

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 还可以编排语言的文法。这项功能与 Oslo OMeta 等工具的类似功能有何异同?

因为 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

2009-01-03 12:476306
用户头像

发布了 225 篇内容, 共 69.7 次阅读, 收获喜欢 52 次。

关注

评论

发布
暂无评论
发现更多内容

支付宝阿牛整合Netty+Redis+ZooKeeper「终极版」高并发手册

Java架构追梦

Java redis zookeeper 面试 Netty

技术实践丨基于MindSpore框架Yolov3-darknet模型的篮球动作检测体验

华为云开发者联盟

AI 华为云 modelarts

红外遥控接收发射原理及ESP8266实现

IoT云工坊

人工智能 物联网 esp8266 红外遥控 pwm

监控之美——Prometheus云原生监控

华章IT

运维 云原生 监控 Prometheus

广电总局严打劣迹主播:净化行业环境迫在眉睫

石头IT视角

【领福利啦】广受欢迎的人工智能实战课程+“智能音箱”教程免费领!

小冬

人工智能 技术 福利 项目实战 智能音箱

微前端架构初探

徐小夕

Java 大前端

感恩,改变世界的开发者们!

京东科技开发者

开发者 程序人生

秋招offer收割机——后台服务器开发方向(专业学习路线图总结)

程序员小灰

c++ Linux 后台开发 架构师 服务器端开发

接口测试和性能测试的区别

测试人生路

软件测试 性能测试 接口测试

前嗅教你大数据:常见的网站反爬策略与解决方案

前嗅大数据

大数据 数据采集 代理IP 网站反爬 反爬策略

CPU虚拟化系列文章1——x86架构CPU虚拟化

华章IT

云计算 Linux cpu 操作系统 虚拟化

甲方日常 58

句子

工作 随笔杂谈 日常

索引为什么能提供查询性能...

小林coding

MySQL 索引 数据结构与算法 B+树

Java开发利器之重试器

Java老k

Java

区块链可信数据服务平台搭建解决方案

t13823115967

区块链 可信区块链

Spring 源码阅读环境的搭建

程序员小航

spring 源码 环境安装 源码阅读 spring 5

Linux笔记(二): vim 基本操作

Leo

Linux 学习 大前端

高德最佳实践:Serverless 规模化落地有哪些价值?

阿里巴巴云原生

阿里云 Serverless 云原生

谈谈持续集成、持续交付和持续部署三者究竟是什么,有何联系和区别呢!

ShenDu_Linux

Linux 持续集成 架构师 持续交付 持续部署

Linux 服务器开发学习路线总结(配图 c/c++ )后台开发、Golang后台开发、后端技术栈

Linux服务器开发

Linux 后台开发 后端 Linux服务器 Go 语言

最详细的Linux TCP/IP 协议栈源码分析

linux大本营

Linux 后台开发 网络编程 C/C++ TCP/IP

继linux命令之后,我又给你们整理了网络命令归纳,快给我来收藏

北游学Java

Linux 网络协议 网络 网络层

基于 GraphQL 的信息聚合网关的实现与展望

QiLab

高并发系统设计 graphql

LeetCode题解:17. 电话号码的字母组合,队列,JavaScript,详细注释

Lee Chen

算法 大前端 LeetCode

收藏 | 阿里程序员常用的 15 款开发者工具(2020 版)

阿里巴巴云原生

阿里云 程序员 开发者 云原生 Java 25 周年

没想到我费劲心力学的kafka,还不如阿里大佬整理的这份学习手册,真的是差距啊

小Q

Java kafka 学习 架构 面试

11.11数据可视化大屏设计揭秘

京东科技开发者

大数据 AI 数据分析 数据可视化 交互设计

Windows环境下如何进行线程Dump分析

Java老k

Java dump

看了 5 种分布式事务方案,我司最终选择了 Seata,真香!

程序员小富

Java 分布式事务 seata

GitHub 标星 1.3k+,一款超赞的用于字符串处理的 Java 8 库,附带源码分析

沉默王二

Java GitHub 字符串

JetBrains元编程系统支持面向语言编程和DSL_JetBrains_Srini Penchikala_InfoQ精选文章