这种多态函数。阵列比较与重排可以给定参数型别也可以强制C#方法只读方式访问一个集合，可以用界面代替作为阵列。
函数类型.支持一等函数的语言具有函数类型，比如“一个函数期望输入一只 Cat 并返回一只 Animal（写为OCaml的 或 C# 的）。这些语言需要指明什么时候一个函数型别是另一个函数型别的子型别—也就是说，在一个期望某个函数型别的上下文中，什么时候可以安全地使用另一个函数型别。 可以说，函数f可以安全替换函数g，如果与函数g相比，函数f接受更一般的参数类