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

静态  在编译期确定下来

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

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

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

类型不安全 …

 

Well-typed programs cannot “go wrong”

                                       ——————Robin Milner

版权声明:本文为lightlfyan原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://www.cnblogs.com/lightlfyan/p/3766497.html