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