Suchbäume: Durchlaufen

Inorder-Durchquerung der Knoten:

inorder :: Tree a -> [a]
inorder t = case t of
    Leaf     -> []
    Node { key = k, left = l, right = r } -> 
       inorder l ++ [ k ] ++ inorder r

Sortieren:

sort :: [ Int ] -> [ Int ]
sort xs = inorder ( suchbaum xs )

variablenfreie Schreibweise durch Komposition von Funktionen:

sort = inorder . suchbaum

Aufgabe: welche Typ hat (.) ?