Overview
All data
10 statements · 0% with external sources · numbers in brackets are citations
On other databases
3 identifiers linking type class across the web's reference databases
10 statements · 0% with external sources · numbers in brackets are citations
3 identifiers linking type class across the web's reference databases
From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0
In computer science, a type class is a type system construct that supports ad hoc polymorphism in a programming language. 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.