parametricity

做多态lambda演算或系统F）。任何参数多态函数都必然在能做什么上受到限制，工作在数据的形状而不是它的值之上，这导致了parametricity（英语：parametricity）的概念。 在面向对象程序设计中，计算机程序執行時，相同的訊息可能會送給多個不同的類別之物件，而系統可依據物件所屬類別，