结构化类型一般分为三种：记录类型、数组类型和枚举类型。

1. 记录类型（Record Type）：由一个或多个字段组成，每个字段都有自己的名称和类型。字段顺序通常不影响类型匹配。记录类型可以用来描述存储一组相关属性的数据，例如人类的姓、名、年龄、性别等。

2. 数组类型（Array Type）：由多个相同类型的元素组成，这些元素按照一定的顺序排列。数组类型可以用来描述存储一组数据，例如一个学生的考试成绩，或一组颜色的 RGB 值。

3. 枚举类型（Enum Type）：用于枚举一组可能的取值，每个取值都有一个名称。枚举类型可以用来描述一组相互排斥的取值，例如某个颜色只能是红、绿、蓝中的其中一种。

这三种结构化类型都可以通过组合来定义更复杂的数据类型，例如一个记录类型中的某个字段可以是一个数组类型，或一个枚举类型可以用于定义一个记录类型中的某个字段的取值范围。