表达式语言的类型检查、解释器与优化
1. 类型检查与类型计算机
在表达式验证器中，除了常量表达式（隐式类型正确）外，为每种表达式都设置了@Check方法。这些方法会使用ExpressionsTypeComputer检查子表达式的类型是否符合特定表达式的预期。例如，对于MulOrDiv表达式，会检查其子表达式是否都为整数类型，若不是则在非整数类型的子表达式上标记错误。
这种策略避免了验证器多次检查同一对象，因为类型计算委托给了非递归的ExpressionsTypeComputer，并且验证器仅会在有问题的子表达式上生成有意义的错误标记。
1.1 类型表示
由于表达式DSL的语法中没有类型，需要一种方式来表示它们。定义了一个类型接口ExpressionsType，并为每种类型实现一个类，如StringType、IntType和BoolType。这些类实现了toString方法，但不包含其他信息。
将类型和类型计算机的类写在新的Java子包typing中。若要使这些类在主插件项目外可见（如用于测试），需在MANIFEST.MF编辑器的Runtime选项卡中将该包添加到导出包列表中。
在类型计算机中，为每种类型定义一个静态字