Can you summarize the following document?
        
  计算机程序执行时,相同的讯息可能会送给多个不同的类别之物件,而系统可依据物件所属类别,引发对应类别的方法,而有不同的行为。简单来说,所谓多型意指相同的讯息给予不同的物件会引发不同的动作。多态也可定义为“一种将不同的特殊行为和单个泛化记号相关联的能力”。  多态可分为变量多态与函数多态。变量多态是指:基类型的变量(对于C++是引用或指针)可以被赋值基类型对象,也可以被赋值派生类型的对象。函数多态是指,相同的函数调用界面(函数名与实参表),传送给一个对象变量,可以有不同的行为,这视该对象变量所指向的对象类型而定。因此,变量多态是函数多态的基础。  多态还可分为: 对于C++语言,带变量的宏和函数重载(function overload)机制也允许将不同的特殊行为和单个泛化记号相关联。然而,习惯上并不将这种函数多态(function polymorphism)、宏多态(macro polymorphism)展现出来的行为称为多态(或静态多态),否则就连C语言也具有宏多态了。谈及多态时,默认就是指动态多态,而静态多态则是指基于模板的多态。

  1967 年,英国计算机科学家克里斯托弗·斯特雷奇在他的讲义合集《》中,首次提出了特设多态和参数多态的概念。  1985 年,和在论文中引入了术语「蕴含多态」(英语:inclusion polymorphism)来为子类型和继承建模。。不过子类型和继承本身在 1967 年就已经在 Simula 有对应的实现。

  比如有动物(Animal)之类别(Class),而且由动物继承出类别鸡(Chicken)和类别狗(Dog),并对同一源自类别动物(父类别)之一讯息有不同的响应,如类别动物有「叫()」之动作,而类别鸡会「啼叫()」,类别狗则会「吠叫()」,则称之为多型。
在编程语言和类型论中,多型(英语:polymorphism)指为不同数据类型的实体提供统一的接口。 多态类型(英语:polymorphic type)可以将自身所支持的操作套用到其它类型的值上。