会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
jjppp的博客
那就这样吧!@#$%^&*_
新随笔
联系
订阅
管理
2021年10月5日
形式语义04 Types
摘要: Types 首先要说明什么是Type Types可以看成是对数据的分类、一种约定,即我们用一个界来描述一类数据构成的集合,用不同的界区分不同的数据种类。对于untyped的语言,我们则可以看成是只有唯一一种包罗万象的type 类型实际上有很多作用,可以进行针对性的优化、可以提供部分代码的信息、可以作
阅读全文
posted @ 2021-10-05 10:42 jjppp
阅读(235)
评论(0)
推荐(0)
编辑
公告