\begin{slide}{Polymorphie}

was ist der Typ von $t$ hier:
\begin{verbatim}
var t  =  f => x => f (f (x));
print t(x => x+1)(0);
print t(t)(x => x+1)(0);
\end{verbatim}

Lösung: $\forall a: (a \to a) \to (a \to a)$

benötigen
\begin{itemize}
\item Typvariablen ($a$)
\item Bindungen dafür ($\forall$)
\end{itemize}


\end{slide}
