Überladen von Bezeichnern

(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?