Virtuelle Datenstrukturen

sort :: [ Int ] -> [ Int ]
sort [] = []
sort (x : xs) = 
   let ( low, high ) = partition ( < x ) xs
   in  sort low ++ [ x ] ++ sort high

• durch Transformation sind Node/Leaf/Tree verschwunden

  (und das einfache Quicksort bleibt übrig)!

• es ist Aufgabe eines intelligenten Compilers,
  solche Möglichkeiten zu finden und auszunutzen.
• Das geht besonders dann, wenn die Programme gut strukturiert sind (Entwurfsmuster $\to$ Rekursionsmuster)