5.1类型在编程语言中的作用 511执行错误和安全语言 禁止错误( forbidden error) 不会被捕获错误集合+会被捕获错误的一个子集 为语言设计类型系统的目标是在排除禁止错误 良行为程序和安全语言也可基于禁止错误 来定义5.1 类型在编程语言中的作用 5.1.1 执行错误和安全语言 • 禁止错误（forbidden error） – 不会被捕获错误集合 + 会被捕获错误的一个子集 – 为语言设计类型系统的目标是在排除禁止错误 良行为程序和安全语言也可基于禁止错误 来定义