类型表达式

类型表达式

基本类型

• 基本类型是类型表达式
  • integer
  • real
  • char
  • boolean
  • type_error(出错类型)
  • void(无类型)

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

类型构造符

数组构造符

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

例如：

指针构造符

若T是类型表达式，则pointer(T)是类型表达式，它表示一个指针类型。

笛卡尔乘积构造符$✖$

若$T_1$和$T_2$是类型表达式，则笛卡尔乘积$T_1*T_2$是类型表达式

函数构造符$\rightarrow$

若彤$T_1$、$T_2$、…、$T_n$和R都是类型表达式，则$T_1*T_2*...*T_n\rightarrow{R}$是类型表达式

其中，$T_1$、$T_2$、…、$T_n$为函数参数，R为返回值

记录构造符

若有标识符$N_1$、$N_2$、…、$N_n$与类型表达式$T_1$、$T_2$、…、$T_n$，则$record((N_1*T_1) * (N_2*T_2) *...* (N_n*T_n))$是一个类型表达式。

例如：