Eingeschränkte Polymorphie

Welchen Typ hat qsort? Ist es generisch? -- Jein.

Sortieren kann man nur Listen von vergleichbaren Elementen, deswegen

qsort :: Ord a => [a] -> [a]

das Typ-Argument a muß das interface Ord implementieren

(d. h., die Methode < besitzen).


: Haskell-Sprechweise/Schlüsselwörter:

der Typ (z. B. Int) ist Instanz einer Typklasse (Ord):

instance Ord Int where ...



Johannes Waldmann 2005-01-28