类型和效果系统

- 第5章 类型和效果系统 - 内容概述先前介绍的技术可用于类型语言和非类型语言本章讨论如何利用类型上的标注来表达感兴趣的程序分析的性质，在类型检查时完成这样的分析首先用加标注