parametric polymorphism


Also found in: Wikipedia.

parametric polymorphism

References in periodicals archive ?
In contradistinction to the situation described above, a positive result that we established formally is that type-checking OQL queries presents no problem for a type system with the basic form of parametric polymorphism (universal type quantification).
Type-checking OQL queries in a type system that supports parametric polymorphism is considered in Section 13, where we first present the formal rules for correct formation of schemas with parametric interfaces.
Finally, we prove that queries with an order by clause can be statically type-checked in a type system that supports parametric polymorphism of the form available in the C++ binding of the ODMG standard.
The above interface is a good illustration of an awkward way of expressing parametric polymorphism in the ODMG object model.
any is used in the ODMG object model where a type parameter would appear in a type system that supports parametric polymorphism.
The syntactic style in this paper for parametric object types follows the style of the ODMG object model and the proposed extensions of Java with parametric polymorphism [Odersky and Wadler 1997; Agesen et al.
As opposed to the Bag interface, as defined in the ODMG object model, a type system that supports parametric polymorphism (such as the C++ binding of the ODMG standard) also allows a clean definition of a parametric Bag interface derived by inheritance from the parametric Collection interface.
In a type system that supports parametric polymorphism (such as the type system of the C++ binding of the ODMG standard), one can be a lot more precise about the type of a class extent.
In many situations the reason is precisely the fact that Java lacks parametric polymorphism.
A type system that supports parametric polymorphism restricted to the universal type quantification allows static type-checking of OQL queries.
With proper usage of parametric polymorphism, the collections from Example 16 now have the following form:
A clear conclusion may be drawn from this section: The ODMG object model and its Java binding must support parametric polymorphism in order to make static type-checking of OQL queries possible.

Full browser ?