强类型与弱类型 （类型安全） 强类型 语言层面限制函数的实参类型必须与形参类型相同 弱类型 语言层面不会限制实参的类型 静态类型与动态类型 （类型检查） 静态类型 一个变量声明时它的类型就是明确的， 声明过后，它的类型就不允许再修改 动态类型 运行阶段才能够明确变量类型，而且变量的类型会随时发生变化动态类型语言中的变量没有类型，变量中存放的值是有类型的
