XsemanticsXtext 的类型系统

Eclipse Xsemantics 是一种DSL（在 Xtext 中实现的），为 Xtext 实现了编写类型系统、缩减规则、解释器和一般关系规则的语言。 Xsemantics 定义是一套具有结论和一套前提的判断规则。 然后生成 Java 代码，可以在基于Xtext 的语言中进行验证。

Eclipse Update：https://dl.bintray.com/lorenzobettini/xsemantics/updates/1.10/