Jump to content

type class

From Wiktionary, the free dictionary

English

[edit]

Alternative forms

[edit]

Noun

[edit]

type class (plural type classes)

  1. (programming) A type system construct that supports ad hoc polymorphism (independent of the type hierarchy), first pioneered in Haskell.
    • 2021, Dean Wampler, chapter 5, in Programming Scala, 3rd edition, O'Reilly, →ISBN:
      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.

Further reading

[edit]