MPS 是什么：从通用语言到领域语言
MPS（Meta Programming System）是 JetBrains 公司推出的一款用于创建领域特定语言（DSL）的开发平台。与通用编程语言不同，DSL 针对某一具体业务领域设计，使用该领域的术语和概念来表达逻辑。例如，保险精算师可以用精算公式语言编写规则，嵌入式工程师可以用硬件描述语言定义组件行为——MPS 的作用就是让开发团队能够自行定义这类语言，并将用 DSL 编写的程序生成为 Java、XML、HTML 或 JavaScript 等目标代码。
MPS 本身基于抽象语法树（AST）来维护代码。代码在 MPS 中以 AST 节点形式存在，每个节点包含属性、子节点和引用。这种设计与传统编译器前端先做文本解析（Parsing）再构建 AST 的流程不同：在 MPS 中，编辑操作直接修改 AST，省去了“文本→解析→AST”的转换步骤。文件系统层面，AST 以序列化 XML 格式存储。
投影编辑器：MPS 区别于传统 IDE 的核心设计
MPS 采用投影编辑器（Projectional Editor），这是它与常规文本编辑器最本质的区别。传统 IDE 在文本层面编辑代码，然后由解析器将文本转为 AST；MPS 的编辑器则直接操作 AST，并按照语言设计者定义的规则将 AST“投影”为可视化的代码形态。
这种设计的实际效果体现在几个方面。第一，语言设计者可以在编辑器中混合使用文本符号与非文本符号——数学公式、表格、图表甚至图形预览都可以作为编辑界面的组成部分。第二，由于不存在文本解析过程，也就没有语法歧义的问题：编辑器始终保证代码在结构上是合法的，语法错误在编辑时即被阻止，而不是等到编译阶段才暴露。第三，代码补全、快速修复和意图操作（Intentions）等 IDE 辅助功能可以在语言定义阶段一并配置，让定制语言的用户获得与通用语言 IDE 相近甚至更强的编码辅助体验。
根据官方文档的描述，习惯于文本编辑器的开发者通常在一周内就能在 MPS 中恢复到原有的编码效率。投影编辑器的学习曲线主要体现在快捷键体系的变化——例如使用 Ctrl+Space 触发补全、Tab/Shift+Tab 在 AST 节点间导航、Ctrl+W 扩散选中——这些与 JetBrains 系 IDE 的快捷键有延续性，但操作逻辑需要适应。
语言定义能力：类型系统、约束与代码生成
在 MPS 中创建一门 DSL 涉及多个层面的定义工作。语言设计者需要定义语言的抽象语法（即概念结构）、具体语法（编辑器中的表现形式）、类型系统规则以及约束条件。MPS 提供的类型系统引擎可以在编辑时实时检查类型兼容性，约束系统则可以定义超出类型检查范围的其他规则——例如某个属性必须在特定取值范围内、两个节点之间必须满足特定的引用关系等。
代码生成是 DSL 落地的关键环节。MPS 的代码生成器允许语言设计者定义从 DSL 概念到目标语言（Java、XML 等）的映射规则。所有用 DSL 编写的程序最终通过生成器转换为可编译、可部署的目标代码。所有 DSL 必须从 MPS 内置的 BaseLanguage（可理解为 Java 在 MPS 中的等价语言）扩展而来，MPS 已预置了字符串、容器、日期、正则表达式等常用语言扩展。
典型应用场景
MPS 已在多个行业产生落地方案。荷兰税务部门的 Agile Law Execution Factory（ALEF）项目使用 MPS 构建了一套 DSL，用于实施荷兰税法并在法律变更时快速调整规则——这是法规驱动型 DSL 的典型案例。在生物医学领域，MetaR 项目为计算技能有限的生物医学科学家提供了一套数据分析语言，降低了编程门槛。嵌入式软件工程领域的 mbeddr 项目则在 MPS 上构建了一组面向嵌入式开发的可扩展语言，覆盖状态机、硬件抽象、需求追溯等环节。
从这些案例可以看出，MPS 的适用场景通常具有以下特征：领域概念稳定但规则复杂、需要非技术人员参与逻辑编写、目标平台代码需要频繁根据领域规则变化而重新生成。
部署方式、许可模式与采购须知
MPS 是本地部署的桌面应用，支持 Windows、macOS 和 Linux 三个操作系统平台。软件制造商为 JetBrains（总部位于捷克布拉格）。MPS 采用 Apache 2.0 开源协议发布，这意味着用户可以免费使用、修改和分发，无需支付许可费用。对于需要商业支持或培训服务的团队，JetBrains 也提供入门和高级培训，支持远程和现场授课。
在采购评估中，需要关注的是 MPS 虽然本身开源免费，但构建在其上的 DSL 项目的总拥有成本还包括：语言设计人员的培养周期、与现有工具链的集成工作量、以及在团队内部推广 DSL 的沟通和培训成本。此外，MPS 社区通过 Slack、论坛以及 MPS Rocks 精选扩展列表提供支持，扩展程序由 itemis、JetBrains 和开源社区共同维护。
学习路径与团队准备
MPS 为不同起点的用户提供了分层次的学习资源。快速入门课程面向需要快速了解 MPS 的开发者，用户指南则覆盖从语言创建到代码生成的完整文档。官方还提供了手把手教程（例如通过构建 ShapeBuilderLanguage 这样的示例语言来逐步学习语言定义流程）。
对团队而言，评估 MPS 时建议关注几点：团队中是否有成员熟悉编译原理的基本概念（抽象语法、类型系统、代码生成），因为 MPS 的语言定义工作本质上是在设计一门语言的编译器前端；是否有人熟悉 JetBrains IDE 的快捷键体系；以及所面向的业务领域是否确实存在长期维护的复杂规则，从而值得投入 DSL 建设的工程资源。
选型小结
MPS 本质上是一个语言工程工具，而非最终用户直接使用的应用软件。它的价值在于让组织能够将领域知识固化为可执行的语言规范，并在规则变更时通过修改 DSL 定义快速响应。如果您的团队面临重复性的领域规则编码工作、或者需要让业务专家直接参与逻辑编写、且愿意投入前期语言设计成本，MPS 是一个值得评估的选项。在正式采用前，建议通过官方快速入门课程完成一个小型 DSL 原型，实际验证编辑器的操作习惯适配度以及代码生成结果与现有系统的兼容性。
