Word.ws English Dictionary

type class

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

Noun

type class (plural type classes)

  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 Scala, 3rd edition, O'Reilly, →ISBN

Forms of type class

pluraltype classes
alternative formtypeclass

Questions about type class

What does type class mean?
Type class means a type system construct that supports ad hoc polymorphism (independent of the type hierarchy), first pioneered in Haskell.
What part of speech is type class?
Type class is a noun.
What is the plural of type class?
The plural of type class is type classes.

Words near type class in the dictionary

  1. type beats
  2. type Bs
  3. type C
  4. type checker
  5. type checkers
  6. type class
  7. type classes
  8. type coercion
  9. type coercions
  10. type collection
  11. type collections

Source and license

Adapted from Wiktionary: type class (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “type class.” Word.ws, https://word.ws/type_class. Based on Wiktionary, CC BY-SA 4.0.