\begin{slide}{Rekursion über Listen (Übung)}

Aufgaben:
\begin{itemize}
\item \verb|append, reverse, concat, inits, tails| \\
  mit \verb|fold| (d. h., ohne Rekursion)
\end{itemize}

\bigskip

Bezeichnungen in Haskell-Bibliotheken:

das vordefinierte Rekursionsschema über Listen ist:
\begin{verbatim}
foldr :: (a -> b -> b) -> b -> ([a] -> b)
length = foldr ( \ x y -> 1 + y ) 0
\end{verbatim}
Beachte: 
\begin{itemize}
\item 
Argument-Reihenfolge (erst cons, dann nil)
\item 
foldr nicht mit foldl verwechseln (foldr ist das \glqq richtige\grqq)
\end{itemize}




\end{slide}
