安全。暂且不理会语言定义的性质，在执行时期发生的某些错误，应归于实作时的缺陷，或是用了其它语言撰写的程式库；这种错误可能使给定的实作，在某些情况下的型别不再安全。
型别安全语言的记忆体管理.要实现完善的型别安全语言，它至少需要垃圾回收或增加记忆体配置和解配置的限制（本节主要针对前者）。更明确地说，不允许悬置指标横跨不同结构型别的存在。这有一技术上的原因：假定型别语言（如Pascal要求分配的记忆体必须显式释放）。如果存在一个仍旧指向之前的记忆体位址的悬置指标，新的资料结构可能会分配