动态 变量类型在运行期间确定下来 静态 在编译期确定下来 强类型 类型不会发生自动变换, 弱类型 类型会自动变,比如double+int -> double 类型安全 类型对数据访问有严格控制 类型不安全 ... Well-typed programs cannot "go wrong" ------------------Robin Milner 转载于:https://www.cnblogs.com/lightlfyan/p/3766497.html