数据类型检查基础知识(ppt 67页)

数据类型检查基础知识目录：
一、基础知识
二、类型体制
三、简单类型检查器的说明
四、类型表达式的等价
五、多态函数

 

数据类型检查基础知识内容提要：
类型检查基础：
数据类型规范的基本内容包括：
属性：区别这个类型的数据对象的属性
值：这个类型的数据对象可能取的值
操作：定义对这个类型的数据对象可能的操纵的操作集合
数据类型的实现
存储：表示程序执行过程中在计算机存储器中的数据类型的数据对象的存储表示
操作的实现：根据操纵数据对象的存储表示的特定算法或过程来表示数据类型所定义的操作的方式
数据类型的语法表示
属性：通过声明或类型定义来体现
值：表示成文字或已定义的常量
操作：可以通过特殊符号或内部过程（函数）实现，也可以隐式地通过其它语言元素的组合实现

..............................