\begin{slide}{Projekte Compilerbau (autotool)}

    \begin{itemize}\itemsep 2pt
    \item Type-Checking erweitern
      \url{https://autotool.imn.htwk-leipzig.de/cgi-bin/Trial.cgi?topic=TypeCheck-Quiz}
      \begin{itemize}
      \item Methoden nicht nur static
      \item Vererbung
      \item generische Polymorphie
      \end{itemize}
    \item neue Sprachen (Parser, Printer, Interpreter) \small
      \begin{itemize}
      \item Brainfuck \url{http://dfa.imn.htwk-leipzig.de/bugzilla/show_bug.cgi?id=106}
      \item Intercal \url{http://dfa.imn.htwk-leipzig.de/bugzilla/show_bug.cgi?id=107}
      \item Malbolge \url{http://dfa.imn.htwk-leipzig.de/bugzilla/show_bug.cgi?id=174}
      \end{itemize}
    \end{itemize}

\end{slide}

\begin{slide}{Projekte Compilerbau (Refactoring)}

für Haskell und/oder Java:

\begin{itemize}
\item Quelltext lesen 
\item Muster im Syntaxbaum erkennen (ähnlicher Code)
\item Refaktoring vorschlagen (Unterprogramm mit Parametern)
\end{itemize}

Für Haskell benutze ghc-modul \verb|Language.Haskell|,
es gibt auch \verb|language-c| (auf Hackage),
danach könnte man \verb|Language.Java| aufbauen?


\end{slide}
