动态 变量类型在运行期间确定下来

静态  在编译期确定下来

强类型  类型不会发生自动变换,

弱类型 类型会自动变,比如double+int -> double

类型安全 类型对数据访问有严格控制

类型不安全 ...

Well-typed programs cannot "go wrong"

                                       ------------------Robin Milner