← Back to search

Meaning of type class | Babel Free

Noun CEFR B2

Definitions

A type system construct that supports ad hoc polymorphism (independent of the type hierarchy), first pioneered in Haskell.

Examples

“A type class is defined with a trait that defines the abstraction. It can have any extension (instance) methods, as well as type-level members, meaning across instances.”

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

type coercion type collection type color type conversion type design type designer