实现Scala的安全类型变体 - 哪种方法最好？

Question

Hio那里有Scala人，我实际上正在写我的硕士论文，我必须在Scala中实现一种安全类型的语言。所以这意味着我必须添加注释来指定Scala中变量和其他编程结构的特殊权限级别。添加它的想法来自Jif（一种真正的安全类型语言http://www.cs.cornell.edu/jif/）和FlowCaml（http://www.normalesup.org/~simonet/soft/flowcaml/）。我仍然需要检查这些语言如何添加其安全扩展。

我和我的顾问谈过，他提出了三种可能性，我可以在Scala中实现这个功能：

1. 源到源编译器（我不认为这是从头开始编写内容的最佳解决方案，因为我将忙于解析器和语义，并且根据自己的经验，我知道我没有足够的时间来处理主要的事情）
2. type-checker插件（我没有为编译器编写插件，并认为这对Scala的其他版本不起作用，因为编译器仍在开发中）
3. 在Scala中构建一个库（语法在这里是免费的，所以我可以用我想要的语言轻松地构建这样的东西=＆gt;认为这就像发明DSL一样，我相信这是最好的解决方案）

如果您对如何实施有其他想法请告诉我，如果您对上述方法有利弊请告诉我。我相信我会在这个项目之后学习Scala（我熟悉Java和Ruby）。

问候

Matthias Guenther

Answer 1

哇，这是一个相当大的项目！

我认为你的问题的答案取决于你是否正在寻找一个合理的语言添加，或者你只是想要一些可能被程序员规避但仍然可能有用的东西。既然你提到了Jif和FlowCaml，我认为你想要采用合理的方式并为你的语言提供保证。然后我认为没有太多选择，只能在Scala之上创建自己的语言结构，并为那些提供新的前端。

我非常怀疑您是否可以Peng Li and Steve Zdancewic或Alejandro Russo的方式将安全性实现为库。原因是Scala可以在任何地方产生副作用，这几乎破坏了您可以尝试执行的任何安全保障。

祝你好运！

Answer 2

这绝对是编译器插件的一项工作：编写一个允许注释进一步细化可能的子类型关系的插件是相当简单的，至少在简单的情况下是这样。

您可以合理地确信编译器插件API在硕士论文的生命周期内保持稳定，您应该调查scala.tools.nsc.symtab.AnnotationCheckers和google，例如实现编译时间检查的插件（非 - ）nullability（即T @NonNull＆lt;：T，但不是T＆lt;：T @ NonNull），它在结构上类似于最简单的非平凡安全类型方案。