多态分类-强制多态，参数多态，过载多态，包含多态

OOP 和 FP 里面都有很多多态，但是关于多态的分类，网上的文章比较多、比较乱，但是大多好像是基于《On Understanding Types, Data Abstraction, and Polymorphism》中对多态的分类和理解。

多态分为两种：通用的多态和特定的多态。两者的区别是前者对工作的类型不加限制，允许对不同类型的值执行相同的代码；后者只对有限数量的类型有效，而且对不同类型的值可能要执行不同的代码。
通用的多态又分为参数多态（parametric）和包含多态（inclusion）；特定的多态分为过载多态（overloading）和强制多态（coercion），即，

多态

• 通用多态
  • 参数多态(字面意思)
  • 包含多态(如，子类多态)
• 特定多态
  • 过载多态(如，重载)
  • 强制多态(如，隐式类型转换)

强制多态：编译程序通过语义操作，把操作对象的类型强行加以变换，以符合函数或操作符的要求。程序设计语言中基本类型的大多数操作符，在发生不同类型的数据进行混合运算时，编译程序一般都会进行强制多态。程序员也可以显示地进行强制多态的操作(Casting)。举个例子，比如，int+double，编译系统一般会把int转换为double，然后执行double+double运算，这个 int -> double的转换，就实现了强制多态，即可是隐式的，也可显式转换。

过载（overloading）多态：同一个名（操作符﹑函数名）在不同的上下文中有不同的类型。程序设计语言中基本类型的大多数操作符都是过载多态的。通俗的讲法，就是c++中的函数重载。在此处中“overload”译为“过载”，其实就是所谓的“重载”，也许“overload”就应翻译为“过载，重载”吧，那“override”就只能是“覆盖”了。

参数多态：采用参数化模板，通过给出不同的类型参数，使得一个结构有多种类型。以 Haskell 为例，<span data-type="color" style="color: rgb(51, 51, 51);"><span data-type="background" style="background-color: rgb(255, 255, 255);">参数多态是 Haskell 支持的多态中最明显的一个，Haskell 的参数多态直接影响了 Java 和 C# 等语言泛型功能的设计。Java 泛型中的类型变量和 Haskell 的参数化类型非常相似，而 C++ 的模板也和参数多态相去不远。</span></span>

包含多态：同样的操作可用于一个类型及其子类型。（注意是子类型，不是子类。）包含多态一般需要进行运行时的类型检查。-----------------对于这个概念，我的理解是虚函数“virtual---override”机制。