第5章 类型和效果系统 类型和效果系统概要 一效果系统和加标注的类型系统的融合 在效果系统中，断言的典型形式 e:T 其中o告知运行时发生的事情，例如什么东西 被修改、引发异常 加标注的类型系统用来表达语言构造的类型上的 标注和它子构造的类型上的标注之间的关系第5章 类型和效果系统 • 类型和效果系统概要 – 效果系统和加标注的类型系统的融合 – 在效果系统中，断言的典型形式 e : 1 → 2 其中告知e运行时发生的事情，例如什么东西 被修改、引发异常 – 加标注的类型系统用来表达语言构造的类型上的 标注和它子构造的类型上的标注之间的关系 