摘要： In computer science, type safety is the extent to which a programming language discourages or prevents type errors. A type error is erroneous or undesirable program behavior caused by a discrepancy between differing data types. 类型安全是指某种编程语言是否阻止类型错误。类型错误是指由于不同类型的差异所引起的错误的或不是期望的程序行为，简单来说，类型错误就是由于不同类型. 阅读全文