如果编写者以足够恰当的方式，或者由编译器推断来宣告一个型别。静态型别通常可以编译出速度较快的代码。当编译器清楚知道所要使用的资料型别，就可以产生最佳化过后的机器码。更进一步，静态型别语言中的编译器，可以更轻易地发现较佳捷径。某些动态语言（如Common Lisp）允许任意型别的宣告，以便于最佳化。以上理由使静态型别更为普及。参阅最佳化。相较之下，动态型别允许编译器和解译器更快速的运作。因为原始码在动态型别语言中，变更为减少进行检查，并减少解析代码。这也可减少编辑－编译－测试－除错的週期。静态型别