5.1类型在编程语言中的作用 5.1.1执行错误和安全语言 2、良行为的程序 不同场合对良行为的定义略有区别 例如，没有任何不会被捕获错误的程序 3、安全语言 任何合法程序都是良行为的 通常是设计一个类型系统，通过静态的类型检查 来拒绝不会被捕获错误 但是，设计一个类型系统，它正好只拒绝不会被 捕获错误是非常困难的5.1 类型在编程语言中的作用 5.1.1 执行错误和安全语言 2、良行为的程序 – 不同场合对良行为的定义略有区别 – 例如，没有任何不会被捕获错误的程序 3、安全语言 – 任何合法程序都是良行为的 – 通常是设计一个类型系统，通过静态的类型检查 来拒绝不会被捕获错误 – 但是，设计一个类型系统，它正好只拒绝不会被 捕获错误是非常困难的