The safety (or soundness ) of each type system must be judged with respect to its own set of run-time errors.

• 一种语言的安全性体现在其类型系统对运行时错误的可控制性上。