第5章 类型和效果系统 5.1控制流分析 以控制流分析为例来介绍加标注的类型系统 -介绍FUN语言及其类型系统 -加标注的类型断言 -加标注的类型系统 关注计算到函数抽象的每个子表达式的值 标注的等价第5章 类型和效果系统 5.1 控制流分析 以控制流分析为例来介绍加标注的类型系统 – 介绍FUN语言及其类型系统 – 加标注的类型断言 – 加标注的类型系统 关注计算到函数抽象的每个子表达式的值 – 标注的等价