程序员在泛型类型处标注其类型参数的预想变型方式；而在使用点变型标记法（如 Java）的语言中，程序员改在泛型类型实例化的位置标注。
声明点变型标记法.具有这种记法的最流行语言包括 C#（使用关键字 和 ）、Scala 以及OCaml（这两者使用加号减号）。其中，C# 只允许在接口类型上标记变型，而 Scala 和 OCaml 既允许在接口类型上标记、也允许在具体的数据类型上标记变型。
接口.在 C# 中，每个泛型接口的类型参数都可被标注为协变（out）、