\begin{slide}{Automatische Typanpassungen}

in vielen Sprachen postuliert man
eine Hierarchie von Zahlbereichstypen:

$\textrm{byte} \subseteq 
\textrm{int} \subseteq 
\textrm{float} \subseteq 
\textrm{double}$

im allgemeinen ist das eine Halbordnung.

Operator mit Argumenten verschiedener Typen:
\verb|(x :: int) + (y :: float)|

beide Argumente werden zu kleinstem gemeinsamen
Obertyp promoviert, falls dieser eindeutig ist
(sonst statischer Typfehler)

(Halbordnung $\to$ Halbverband)

\end{slide}
