出典:Wiktionary
出典:Wikipedia
出典:『Wikipedia』 (2011/05/19 07:52 UTC 版)
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.