体安全语言（或简称为安全语言）形容禁止未定义运算发生的语言。例如，某个记忆体安全语言将会检查阵列边界。弱型别意指一个语言可以隐式的转换型别（或直接转型）。看看先前的例子：在弱型别语言中编写上述代码，并不清楚将会得到哪一种结果。某些语言如Visual Basic，将会产生可以运作的代码，它将会给出的结果是42：系统将字串"37"转换成数字37，以符合运算上的直觉；其它的语言，像JavaScript将会产生的结果是"537"：系统将数字5转换成字串"5"并把两者串接起来。在Visual Basic和Ja