获得徽章 6
这句话很对:
```
《Programming.with.Types》2019 这本书里对类型做了一个定义,翻译出来是这样的:类型是对数据的分类,这个分类定义了这些数据的意义、被允许的值的集合,还有能在这些数据上执行哪些操作。编译器或运行时会检查类型化过程,以确保数据的完整性,对数据施加访问限制,以及把数据按程序员的意图进行解释。
```
类型就是集合
展开
评论
下一页
个人成就
文章被点赞 150
文章被阅读 19,337
掘力值 721
收藏集
8
关注标签
2
加入于