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