\begin{slide}{Algebraische Datentypen in Pascal, C}

Rekursion unter Verwendung von Verweistypen

Pascal:
\begin{verbatim}
type Tree = ^ Node ;
type Tag = ( Leaf, Branch );
type Node = record case t : Tag of
  Leaf : ( key : T ) ; 
  Branch : ( left : Tree ; right : Tree );
end record;
\end{verbatim}

C: ähnlich, benutze typedef

\end{slide}
