type class

Meaning

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

Similar words

data type ad hoc polymorphism type signature composite data type primitive data type interface class invariant functional programming nominal type system ontology language