编译器笔记27-中间代码生成-类型表达式

• 基本类型是类型表达式

integer
real
char
boolean
type_error(出错类型)
void(无类型)

• 可以为类型表达式命名，类型名也是类型表达式
• 将类型构造符(type constructor)作用于类型表达式可以构成新的类
  型表达式

1. 数组构造符array

若T是类型表达式，则array(I, T)是类型表达式(I是一个整数).png

2. 指针构造符pointer
   若T是类型表达式，则pointer(T)是类型表达式，它表示一个指针类型

3. 笛卡尔乘积构造符x
   若T1和T2是类型表达式，则笛卡尔乘积T1xT2是类型表达式

4. 函数构造符→
   若T1、T2、…、Tn和R是类型表达式，则T1xT2 x…xTn→R是类型表达式

5. 记录构造符record
   若有标识符N1、N2、… 、Nn与类型表达式T1、T2、… 、Tn，则
   record((N1 x T1)x(N2 x T2)x …x(Nn x Tn)) 是一个类型表达式

例.png