Parametric Polymorphism

释义 Definition

参数多态（parametric polymorphism）：一种类型系统特性，指函数或数据结构在不依赖具体类型细节的情况下，对“任意类型”都能统一工作；常见实现形式是泛型（generics）。此外，“polymorphism（多态）”还有其他类型（如子类型多态、特设多态等）。

发音 Pronunciation (IPA)

/ˌpærəˈmɛtrɪk ˌpɑːlɪˈmɔːrfɪzəm/

例句 Examples

Parametric polymorphism lets one function work with values of many types.
参数多态让同一个函数可以处理多种类型的值。

In languages like Haskell or ML, parametric polymorphism enables writing highly reusable libraries while preserving strong type safety.
在 Haskell 或 ML 这类语言中，参数多态既能让库高度复用，又能保持强类型安全。

词源 Etymology

parametric 来自 parameter（参数），含义是“由参数所决定的/可参数化的”；polymorphism 源自希腊语 *poly-*（多）+ morphē（形态），字面义为“多种形态”。合起来指“通过参数（类型参数）获得的多种适用形态”：同一段代码通过类型参数适用于许多类型。

相关词 Related Words

• Generics
• Polymorphism
• Type Parameter
• Type Inference
• Type System
• Ad Hoc Polymorphism
• Subtype Polymorphism
• Type Class

文学/经典著作中的用例 Literary Works

• A Theory of Type Polymorphism in Programming（Robin Milner，1978）——系统讨论多态类型理论（与参数多态密切相关）。
• Types and Programming Languages（Benjamin C. Pierce）——类型系统经典教材，涵盖多态与相关形式化概念。
• Practical Foundations for Programming Languages（Robert Harper）——以严谨方式讲解多态、类型参数化等基础。
• The Definition of Standard ML（Milner, Tofte, Harper 等）——Standard ML 语言定义中涉及（参数）多态的规则与语义。
• The Implementation of Functional Programming Languages（Simon Peyton Jones）——讨论函数式语言实现时常涉及多态类型与其影响。