in vielen Sprachen postuliert man eine Hierarchie von Zahlbereichstypen:
byte⊆int⊆float⊆double
im allgemeinen ist das eine Halbordnung.
Operator mit Argumenten verschiedener Typen:
beide Argumente werden zu kleinstem gemeinsamen
Obertyp promoviert, falls dieser eindeutig ist
(sonst statischer Typfehler)
(Halbordnung →
(x :: int) + (y :: float)
Johannes Waldmann
2014-03-31