type class

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

Noun

  1. A type system construct that supports ad hoc polymorphism (independent of the type hierarchy), first pioneered in Haskell.
    • 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. - 2021, Dean Wampler, chapter 5, in Programming...

Forms

type classes typeclass