n::::泛型类型.在支持泛型（即参数化多态）的语言中，程序员可以用新的构造器扩展类型系统。例如，C# 的泛型接口 可以构造 和 这样的新类型。那么接下来的问题就是这些类型构造器应具有何种变型性质。有两种主要的处理方式。在有着声明点变型标记法（如C#）的语言中，程序员在泛型类型处标注其类型参数的预想变型方式；而在使用点变型标记法（如 Java）的语言中，程序员改在泛型类型实例化的位置标注。
声明点变型标记法.具有这种记法的最流行语言包括 C#（使用关键字 和 ）、Scala