码迷,mamicode.com
首页 > 编程语言 > 详细

关于编程语言类型系统

时间:2014-06-06 15:36:16      阅读:238      评论:0      收藏:0      [点我收藏+]

标签:c   a   http   int   数据      

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

静态  在编译期确定下来

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

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

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

类型不安全 ...

 

Well-typed programs cannot "go wrong"

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

关于编程语言类型系统,布布扣,bubuko.com

关于编程语言类型系统

标签:c   a   http   int   数据      

原文地址:http://www.cnblogs.com/lightlfyan/p/3766497.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!