类型表达式

文章目录 类型表达式 基本类型 类型构造符 数组构造符 指针构造符 笛卡尔乘积构造符`$✖$` 函数构造符`$\rightarrow$` 记录构造符 类型表达式 基本类型 基本类型是类型表达式 integer real char boolean type_error(出错类型) void(无类型) 可以为类型表达式命名，类型名也是类型表达式，将类型构造符作用于类型表达式可以构成新的类型表达式 类型

>>阅读原文<<