A set of types for which certain operations or methods are defined. E.g. the
class Number might have methods for addition and subtraction. Classes are a
feature of object oriented languages and of the functional programming language
Haskell. See also inheritance.
type-ahead « type-ahead search « type assignment «
type class » typed lambda-calculus » TypedProlog