与抽象类型相关的操作

赋值：可以

实例化：不行

声明变量（参量）：初级抽象类型可以，高阶类型不可以

声明类型：高阶类型只能用于声明类型，初级抽象类型即可以声明类型也可以声明变量。

操纵桥接（抽象层面的联系建立）