类型安全

类型安全在计算机科学中，类型安全和类型健全是指一种编程语言阻止或防止类型错误的程度。类型安全有时也被认为是一种计算机语言设施的属性；也就是说，有些...