82、嵌入式DSL类型错误诊断与Actor服务：技术探索与应用

嵌入式DSL类型错误诊断与Actor服务：技术探索与应用

1. 嵌入式DSL类型检查与推理

在类型检查和推理过程中，可在基于约束的类型引擎中引入第二阶段，通过专门的类型规则为嵌入式领域特定语言（DSL）引入自定义错误消息。信息通过专门的类型规则传达给编译器，类型规则的特定片段还能提供对部分类型信息的依赖能力。

目前有几种相关的技术和语言值得关注：
- Scala ：有一个面向类型反馈的Scala编译器的改进版本。它从底层类型检查事件开始，按需构建推导树。自定义编译器插件可以检查此树并生成特定领域的错误消息。这种方法比Idris的方法更强大，但仍无法影响类型引擎执行推理的方式。
- SoundExt ：在SoundExt中，语言扩展通过重写为核心语言加上新构造的特定类型规则来定义。系统会在应用新类型规则之前检查其健全性。不过，两个健全的语言扩展组合在一起可能会导致不健全的结果，因此组合时需要额外检查。而在我们的工作中，健全性检查的方式确保了如果所有专门的类型规则都通过测试，它们可以自由组合。
- Racket ：Racket提供的编程环境以关注学生而闻名。其语言级别概念，即只提供完整Racket语言的部分构造，可以使用故意不完整的类型规则来模拟。

2. 未来工作展望

为了进一步完善相关技术，未来有几个方面的工作值得开展：
- 类型规则描述的简化 ：目前还无法抽象常见的类型规则模式，但对于大型库，可能会有非常相似的规则。因此，计划引入参数化类型规则，通过提供缺失的部分，使