错」）则是动态语义学方面的属性。
语言的型别安全性.学术研究用途的玩具语言，常会提出型别安全方面的需求。另一方面，许多语言以人工方式所产生的型别安全，证实经常需要上千次的检查。不过，某些语言，如标准ML，其严格定义了语义，且Java也已提供型别安全。其它语言如 Haskell 也被认为是型别安全。暂且不理会语言定义的性质，在执行时期发生的某些错误，应归于实作时的缺陷，或是用了其它语言撰写的程式库；这种错误可能使给定的实作，在某些情况下的型别不再安全。
型