和后来的）正式的将这种多态概念发展为对lambda演算的扩展（叫做多态lambda演算或系统F）。任何参数多态函数都必然在能做什么上受到限制，工作在数据的形状而不是它的值之上，这导致了的概念。
子类型.在面向对象程序设计中，计算机程序执行时，相同的讯息可能会送给多个不同的类别之物件，而系统可依据物件所属类别，引发对应类别的方法，而有不同的行为。简单来说，所谓多型意指相同的讯息给予不同的物件会引发不同的动作。比如有动物之类别，而且由动物继承出类别猫和类别狗，并对同一源自类别动物（父类