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 ...