类型对不对

另一个语义检查是类型是否匹配。比如把一个数字和一句文字相减 5 - "你好"，多数语言认为没意义，就报类型错误。语义分析会顺着树检查每个运算两边的类型合不合理。