编译原理 类型检查