要时检测即将发生的错误。型别安全是程式语言的性质，而不是程式所自有的。例如，有可能以型别不安全的语言，编写出型别安全的程式。在此是以程式语言为主，而不讨论以个人能力维护的型别安全。某个行为之所以会被程式语言归类为型别错误，通常是因为试图对不适当型别的值进行运算。其分类的基本原则是：部分语言设计者和程式员的看法认为，如果所有运算不引起程式瓦解、安全上的瑕疵、或其它明显故障，即为合理的，而不视之为一个错误；其他人则认为所有违背程式员意图的，就是错误的，而且应该标上「不安全」。在静态型别系统中，型别安全通常包