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. | ||||
Search Dictionary:
Type class definition was found in categories: Language, Idioms & Slang(1) Encyclopedia(1)
Type class Definition from Language, Idioms & Slang Dictionaries & Glossaries
| hEnglish - advanced version |
type class
type class
type family n : a complete set of type suitable for printing text
type class
type family n : a complete set of type suitable for printing text
Type class Definition from Encyclopedia Dictionaries & Glossaries
| Wikipedia English - The Free Encyclopedia |
Type class
In computer science, a type class is a type system construct that supports ad-hoc polymorphism. This is achieved by adding constraints to type variables in parametrically polymorphic types. Such a constraint typically involves a type class
T and a type variable a, and means that a can only be instantiated to a type whose members support the overloaded operations associated with T. Thus, type class constraints implement a form of bounded polymorphism. | See more at Wikipedia.org... |