第6章 类型检查.pptVIP

类型检查 类型表达式 类型表达式可以是基本的数据类型也可以带有结构。 基本的数据类型 (boolean, char, integer and real) 是类型表达式 类型名字也是类型表达式 记录或结构与数组的类型表达式 E.g.: 函数与指针的类型表达式: Some languages allows functions to return an object of arbitrary type, e.g. LISP: (integer ? integer) ? (integer ? integer) 类型图 (tree or DAG) 静态与动态的数据类型检查 A type system is a collection of rules for assigning type expression to the various parts of a program. The type system is implemented by a type checker. The implementation can be easy made using syntax-directed manner from chap. 5. Checked done by a compiler is sta