Typklassen als Prädikate

Man unterscheide gründlich zwischen Typen und Typklassen (OO: zwischen Klassen und Schnittstellen).

Eine Typklasse C ist ein (einstelliges) Prädikat auf Typen T:

Die Aussagen C(T1), C(T2),... sind wahr oder falsch.

Auch mehrstellige Prädikate (Typklassen) sind möglich und sinnvoll. (Haskell: multi parameter type classes, Java: ?)



Johannes Waldmann 2005-06-08