\begin{slide}{Potenz-Typen}

$B^A := \{ f : A \to B \}$ (Menge aller Funktionen von $A$ nach $B$)

ist sinnvolle Notation, denn $|B|^{|A|} = \left|B^A\right|$

spezielle Realisierungen:
\begin{itemize}
\item
  Funktionen (Unterprogramme)
\item
  Wertetabellen (Funktion mit endlichem Definitionsbereich)
  (Assoziative Felder, Hashmaps)
\item
  Felder (Definitionsbereich ist Aufzählungstyp) (Arrays)
\item
  Zeichenketten (Strings)
\end{itemize}
die unterschiedliche Notation dafür (Beispiele?) 
ist bedauerlich.
\end{slide}



