Ad-hoc Polymorphism Mechanism

Back to Type Classes - Traits

Type classes and traits provide ad-hoc polymorphism by defining a set of operations that types can implement. Unlike OOP interfaces, implementations can be added for existing types retroactively, and the correct implementation is resolved at compile time based on type information.

type-systems type-classes ad-hoc