标签:content date inf mon str efi appears http oda
多态有类型系统衍生。
有限类型、无限类型、确定类型。
Classifications
Christopher Strachey (1967) introduced the concept of polymorphism informally into procedural programming languages by distinguishing functions
He defined the former as ad-hoc polymorphism and the latter as parametric polymorphism:
"Ad-Hoc polymorphism is obtained when a function works, or appears to work, on several different types (which may not exhibit a common structure) and may behave in unrelated ways for each type. Parametric polymorphism is obtained when a function works uniformly on a range of types; these types normally exhibit some common structure." (Strachey, 1967)
Cardelli and Wegner (1985) expanded Strachey‘s distinction to accommodate object-oriented languages. They distinguished functions
Inclusion polymorphism is specific to object-oriented languages.
https://scs.senecac.on.ca/~oop244/pages/content/adhoc.html
Overview of Polymorphism -多态的分类
标签:content date inf mon str efi appears http oda
原文地址:https://www.cnblogs.com/feng9exe/p/9151549.html