复合类型、类型约束、添加功能、高阶函数

复合类型（类型构造器）的基本功能由复合类型的主类型确定；

复合类型的扩展功能由主类型和参量类型共同确定；

类型约束扩展功能添加的基础；

函数式编程的功能扩展由高阶函数和混入函数完成

public struct Array<Element>

{

public func map<T>(_ transform: (Element) throws -> T) rethrows -> [T]

}

它的类型约束由函数泛型和类型泛型的形式完成