《程序设计语言概念》 第六章 类型系统和类型推测
摘要：
很多程序设计语言将数据和计算包装成类型（type）的集合（collection）。 6.1 程序设计中的类型 数据结构、函数、对象、通道和控制线程这些都是可计算性结构，都可以有类型。 类型主要有以下作用： 命名和组织概念 确保内存中的比特序列被正确理解 向编译器提供程序中操作的数据信息 1. 程序的组织和文档 类型实际上起到了描述程序设计意图的文档的作用。相对注释，类型会被编译器检查，而注释不... 阅读全文
posted @ 2010-09-14 15:10 胡是 阅读(322) 评论(0) 推荐(0) 编辑
