XsemanticsXtext 的類型系統(tǒng)

Eclipse Xsemantics 是一種DSL（在 Xtext 中實(shí)現(xiàn)的），為 Xtext 實(shí)現(xiàn)了編寫類型系統(tǒng)、縮減規(guī)則、解釋器和一般關(guān)系規(guī)則的語言。 Xsemantics 定義是一套具有結(jié)論和一套前提的判斷規(guī)則。 然后生成 Java 代碼，可以在基于Xtext 的語言中進(jìn)行驗(yàn)證。

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