型別構造器 类型构造器也称类型构造子是把若干已知类型组合成一新类型的手段可以看作是类型的构造函数打个比方如果说普通的函数操作变量并产生新值那么类型构造器就是操作类型返回新类型 例如数组 T 是若干相同类型 T 元素的有序集合我们说从 T 类型构造出T 的数组这一类型的类型构造器是后缀即加上数组