Re: Alternatives to C: ObjectPascal, Eiffel, Ada or Modula-3?

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Colin Paul Gloster <Colin_Paul_Gloster@ACM.org> writes:

> I suggest that you flip back a page and note that Page 93 untruthfully
> contained:
> "[..]
>
> In Ada[83], for example, a package may contain several routines with the same name, as
> long as the signatures of these routines are different, where the signature of a routine is
> defined here by the number and types of its arguments. (The general notion of signature
> also includes the type of the results, if any, but Ada resolves overloading on the basis of
> the argument only.) [..]
>
> [..]"

I didn't look up the above quote from Meyer, but assuming he wrote that,
he was mistaken.  Ada DOES use result types to help resolve overloading.
This was true in Ada 83, and it's still true the latest version
(Ada 2005).

Maybe he was thinking of C++ when he wrote that -- last time I looked,
C++ does NOT use result types to help resolve overloading.
I haven't read the latest C++ standard, but I doubt this part
has changed.

Anyway, I wouldn't beat up on Meyer too much over this.  Ada and C++ are
both large languages, and this is a minor mistake.

C++ overload resolution can be done in a single bottom-up pass
over the expression tree.  Ada requires a bottom-up pass followed
by a top-down pass, for exactly this reason (result types
need to be taken into account).

- Bob