类型检查

…… 类型检查是语义检查 …… 不能 int + int ……

…… 类型上下文：变量 -> 类型的映射 ……

…… 类型规则：参数类型有哪些 -> 返回值类型 ……