type class

(redirected from Bounded type)

type class

A set of types for which certain operations or methods are defined. E.g. the class Number might have methods for addition and subtraction. Classes are a feature of object oriented languages and of the functional programming language Haskell. See also inheritance.
References in periodicals archive ?
These notions are bounded type quantification (constrained genericity) and F-bounded polymorphism.
In Section 16 we prove that ordered collections and indices on top of such collections require typing techniques known as bounded type quantification (constrained genericity) and F-bounded polymorphism.
A type system that is equipped with the top object type and supports bounded type quantification (constrained genericity) properly handles typing of ordered collections.
In other words, if a parametric object type C has a type parameter T whose bound is a parametric class F <T>, then this form of bounded type quantification is called F-bounded polymorphism.
Bounded type quantification (constrained genericity) and F-bounded polymorphism are required in order to correctly handle typing ordered collections and indices.