类型是数据的抽象

是数据的组成、表示、内存布局、操作函数的抽象。

类型是数据的符号化抽象。