Type Class

A type class is a language mechanism for ad-hoc polymorphism that allows a single function name to behave differently depending on the type of its arguments. Introduced in Haskell and later adopted by Rust and Scala, type classes separate the definition of an interface from the types that implement it, enabling modular reasoning about generic code without the inheritance overhead of object-oriented dispatch. Unlike object-oriented interfaces, type class resolution happens at compile time through dictionary passing, meaning the runtime cost of polymorphism is reduced to that of an ordinary function call.

The philosophical significance of type classes lies in their inversion of the usual relationship between types and behavior. Rather than asking 'what methods does this object have?', the programmer asks 'what operations are valid for this type?' — a shift from entity-centric to operation-centric design that mirrors the categorical perspective of defining structure by morphisms rather than by membership.