类型表达式
- 基本类型是类型表达式
- integer、real、char、boolean、type_error (出错类型)、void (无类型)
- 可以为类型表达式命名,类型名也是类型表达式
- 将类型构造符(type constructor)作用于类型表达式可以构成新的类型表达式
- 数组构造符array
- 若T是类型表达式,则array ( I, T )是一个表示数组类型的表达式,该数组包含I个元素,每个元素都是T类型
- 指针构造符pointer
- 若T是类型表达式,则 pointer ( T ) 是一个表示指向类型T的指针类型的表达式
- 笛卡尔乘积构造符
- 若T1 和 T2是类型表达式,则笛卡尔乘积T1 × T2 是类型表达式
- 函数构造符→
- 若T1、T2、…、Tn 和R是类型表达式,则T1 × T2 ×…× Tn→ R是类型表达式(T1,T2表示函数参数类型,R表示函数返回值类型)
- 记录构造符record
- 若有标识符N1 、N2 、…、Nan 与类型表达式T1 、T2 、…、Tn , 则
record ( ( N1
- 若有标识符N1 、N2 、…、Nan 与类型表达式T1 、T2 、…、Tn , 则
- 数组构造符array