Haskell

发表于 2012–06–09 | 历史

一个值如果根据上下文可以表现为多种类型，就可以称其之为多态的。多态可以分为很多不同的种类：

1. 参数型多态（Parametric polymorphism），通常可以在函数式语言中找到
2. 特殊的多态（Ad-hoc polymorphism * ）或重载（Overloading）
3. 包含型多态（Inclusion polymorphism），多见于面向对象语言