类型和数据抽象

类型是程序设计语言中的一个最基本的概念,数据、函数和过程,都有自己的类型,这是构造程序的基础。抽象在程序设计语言和设计方法学的发展过程中一直起着主导作用,整个软件工程的进展总是和抽象程度的提高紧密联系在一起,而数据抽象则是最基