如何搭建Rascal-MPL项目以使用Rascal构建的DSL？

1. 环境准备 #

• 安装Java 8或更高版本（Rascal依赖JVM运行环境）
• 选择支持Rascal的IDE：推荐Eclipse（通过Eclipse Marketplace搜索"Rascal"安装官方插件），或IntelliJ（插件市场安装Rascal插件）

2. 创建Rascal项目 #

Eclipse环境 #

• 打开Eclipse，依次选择File > New > Project，找到Rascal > Rascal Project
• 输入项目名称（如MyDSLProject），点击Finish，项目会自动生成标准结构：src（存放Rascal代码）、META-INF（配置文件）、pom.xml（Maven依赖）

IntelliJ环境 #

• 新建Maven项目，在pom.xml中添加Rascal核心依赖：

  <dependencies>
      <dependency>
          <groupId>org.rascalmpl</groupId>
          <artifactId>rascal</artifactId>
          <version>0.18.2</version> <!-- 使用最新稳定版本 -->
      </dependency>
  </dependencies>
  

• 手动创建src/main/rascal目录作为Rascal源码根目录

3. 编写DSL核心代码 #

在src目录下创建Rascal模块文件（如MyDSL.rsc），示例DSL实现：

module MyDSL

import IO;

// 定义DSL语法结构
syntax Expr = num: IntLiteral i
             | add: Expr lhs "+" Expr rhs
             | sub: Expr lhs "-" Expr rhs;

// 实现DSL解释逻辑
int eval(Expr e) {
    switch(e) {
        case num(i): return i;
        case add(lhs, rhs): return eval(lhs) + eval(rhs);
        case sub(lhs, rhs): return eval(lhs) - eval(rhs);
    }
}

// 测试DSL功能
void testDSL() {
    Expr expr = parse(#Expr, "1 + 2 - 3");
    println(eval(expr)); // 输出0
}

4. 项目配置与编译 #

• Eclipse环境：右键项目 > Properties > Rascal，确认src目录被标记为Rascal源目录
• Maven项目：在pom.xml中添加Rascal编译插件，确保代码能被正确编译：

  <build>
      <plugins>
          <plugin>
              <groupId>org.rascalmpl</groupId>
              <artifactId>rascal-maven-plugin</artifactId>
              <version>0.18.2</version>
              <executions>
                  <execution>
                      <goals>
                          <goal>compile</goal>
                      </goals>
                  </execution>
              </executions>
          </plugin>
      </plugins>
  </build>
  

5. 测试与验证DSL #

• 打开IDE的Rascal控制台（Eclipse：Window > Show View > Other > Rascal > Rascal Console）
• 导入模块：import MyDSL;
• 调用测试函数：testDSL();，查看控制台输出是否符合预期
• 直接测试DSL解析与执行：eval(parse(#Expr, "5 + 4"));，应返回结果9

6. 扩展DSL（可选） #

• 添加更多语法规则，比如乘法、除法表达式
• 实现类型检查、代码生成等进阶功能（如将DSL转换为Java代码）
• 为DSL添加编辑器支持：在语法定义上添加注解，IDE会自动提供语法高亮、自动补全功能

内容的提问来源于stack exchange，提问作者Pius Arhanbhunde