\begin{slide}{Überblick}

  \begin{itemize}\parskip 0pt
  \item bei Ausdrücken $f(X,Y)$
    kann man Werte von $X$ und $Y$
    parallel und unabhängig berechnen,
  \item wenn die Auswertung 
    von $X$ und $Y$ nebenwirkungsfrei ist.
  \item im einfachsten Fall sind \emph{alle}
    Ausdrücke nebenwirkungsfrei (Haskell)
  \item parallele Auswertung durch
    Annotationen (Kombinatoren)
    \verb|par X (pseq Y (f X Y))|
  \item Haskell benutzt (in diesem Fall: leider)
    Bedarfsauswertung, diese muß man ggf. umgehen,\\
    d.h. Auswertung von Teilausdrücken erzwingen
  \end{itemize}

\end{slide}
