Typenklasse

Typenklasse, oder type class, ist ein Konzept in Typsystemen, das Ad-hoc-Polymorphie ermöglicht. Sie definiert eine Schnittstelle, das heißt eine Menge von Operationen, die ein Typ bereitstellen muss, um als Mitglied der Typenklasse zu gelten. Ein Typ wird durch Angabe einer Instanz zu einer Typenklasse, indem er konkrete Implementierungen der geforderten Operationen bereitstellt. Anschließend können Funktionen, die auf Typen mit dieser Typenklasse arbeiten, mit Werten dieses Typs verwendet werden.

Typenklassen legen fest, welche Operationen verfügbar sind, und ermöglichen so generische Funktionen, die für alle Typen gelten, die die Klasse implementieren. Typischerweise werden Typenklassen mit Constraints in Funktionssignaturen verbunden, zum Beispiel kann eine Funktion f einen Typ a erfordern, der in der Typenklasse Eq ist, was durch eine Bedingung wie Eq a => in der Signatur ausgedrückt wird. Beispiele für verbreitete Typenklassen sind Eq, Show, Ord, Num oder Functor, während Functor die Abbildung von Funktionswerten über Container beschreibt.

Es existieren Konzepte wie Minimal Concrete Definitions, die festlegen, welche Methoden mindestens implementiert werden müssen, sowie Superklassenbeziehungen, bei denen eine Typenklasse weitere Klassen voraussetzt (z. B. Ord a => Eq a). Typenklassen fördern Wiederverwendbarkeit und Abstraktion, indem sie Funktionen unabhängig vom konkreten Typ definieren, solange die Typenklasse erfüllt ist.

Im Vergleich zu Schnittstellen in objektorientierten Sprachen handelt es sich bei Typenklassen um Compile-Time-Mechanismen, die Typkontexte und Overloading unterstützen, ohne Laufzeitdispatch zu benötigen. Verschiedene Sprachen liefern unterschiedliche Erweiterungen, etwa Multi-Parameter-Typklassen oder zugeordnete Typen.