误能被静态型别所捕捉，目前对此仍有争论。静态型别的拥护者认为，当程式通过型别检查时，它才有更高的可靠性。虽然动态型别的拥护者指出，实际流通的软体证明，两者在可靠性上并没有多大差别。可以认为静态型别的价值，在于增进型别系统的强化。强型别语言（如ML和Haskell）的拥护者提出，几乎所有的bug都可以看作是型别错误，如果编写者以足够恰当的方式，或者由编译器推断来宣告一个型别。静态型别通常可以编译出速度较快的代码。当编译器清楚知道所要使用的资料型别，就可以产生最佳化过后的机器码。更进一步，静态型别语言中的编