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