7.1 类型系统与对象系统类型系统与对象系统类型系统（类型系统（sort type）的发展）的发展类型：类型：早期语言只提供简单类型早期语言只提供简单类型进一步复杂类型进一步复杂类型 简单类型、结构类型、串、指针简单类型、结构类型、串、指针.Ada提出抽象数据类型提出抽象数据类型ADT（abstract data type）用户自己定义结构、操作用户自己定义结构、操作系统提供打包功能系统提供打包功能以类型方式提供使用以类型方式提供使用 牛牛文库文档分享几种简单几种简单sort类型类型 牛牛文库文档分享类型的使用、特点、局限类型的使用、特点、局限变量说明：指明一个变量的类型变量说明：指明一个变量的类型变量赋值：类型的实例化操作变量赋值：类型的实例化操作实例化结果：指定一个值实例化结果：指定一个值在实例的整个生命周期，值是不变的，因此类在实例的整个生命周期，值是不变的，因此类型的实例无需标识，值就是其本身的标识型的实例无需标识，值就是其本身的标识变量的重新赋值是重新实例化过程，原实例已变量的重新赋值是重新实例化过程，原实例已消亡。消亡。类型系统的问题：无法描述实例的状态变化，即类型系统的问
