Programming Language Theory: Difference between revisions
| Line 138: | Line 138: | ||
* Support for ''polymorphism'' (dispatch based on types of actual arguments) | * Support for ''polymorphism'' (dispatch based on types of actual arguments) | ||
** Parametric polymorphism: Generation of a version for necessary types (Ada generics, C++ templates, SML type parameters) | ** Parametric polymorphism: Generation of a version for necessary types (Ada generics, C++ templates, SML type parameters) | ||
* Support for ''subtyping'' | * Support for ''subtyping'', refining T as T<sub>0</sub> (defining an ordering relation on types: T ''subsumes'' T<sub>0</sub>, x∈T<sub>0</sub> ⇒ x∈T) | ||
* Support for ''minimal'' and ''maximal'' types (also known as Bottom and Top) | * Support for ''minimal'' and ''maximal'' types (also known as Bottom and Top) | ||
===Conversion=== | ===Conversion=== | ||