(nicht verwechseln mit Überschreiben!)
Beispiel: eq(true, true)
, eq(3,add(1,2))
eq
ist ein Name für zwei verschiedene Funktionen
(mit verschiedenen Typen).
Sprechweise: der Name ist überladen, es gibt ad-hoc-Polymorphie.
Wie muß dazu die Tabelle der (vordefinierten) Funktionen aussehen?
In Java ist Überladung nur anhand der Argument-Typen, aber nicht des Resultat-Typs gestattet--warum?