type class

noun

type class

noun
1

Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Programming, Sciences 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 Scala, 3rd edition, O'Reilly, →ISBN:

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.