在C#、Delphi和Java中所称谓的泛型:class List<T> {List<B> map(Func<A, B> f, List<A> xs) {（和后来的）正式的将这种多态概念发展为对lambda演算的扩展（叫做多态lambda演算或系统F）。任何参数多态函数都必然在能做什么上受到限制，工作在数据的形状而不是它的值之上，这导致了的概念。
子类型.在面向对象程序设计中，计算机程序执行时，相同的讯息可能会送给多个不同的类别之物件，而系统可依据物件所属类别，引发对应类别