\begin{slide}{Vergleich Constraints/Interfaces}

  \begin{itemize}
  \item Interface ist einstelliges Constraint
  \item allgemeines Constraint ist aber mehrstellig
  \end{itemize}

Bsp. Autotool:

\begin{verbatim}
class Aufgabe i b where
    explain :: i -> Text
    initial :: i -> b
    check   :: i -> b -> Bool
\end{verbatim}
vgl. \url{http://141.57.11.163/cgi-bin/cvsweb/tool/src/Challenger/Partial.hs?rev=1.29}

\end{slide}
