From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,953e1a6689d791f6 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,953e1a6689d791f6 X-Google-Attributes: gid103376,public From: "Norman H. Cohen" Subject: Re: To overload or not to overload (was Eiffel and Java + Ada dispatching) Date: 1996/11/07 Message-ID: <32823F89.4251@watson.ibm.com>#1/1 X-Deja-AN: 195131614 references: <327F0D64.619A@iam.unibe.ch> <32805D4D.77B6@iam.unibe.ch> content-type: text/plain; charset=us-ascii organization: IBM Thomas J. Watson Research Center mime-version: 1.0 reply-to: ncohen@watson.ibm.com newsgroups: comp.lang.eiffel,comp.lang.ada x-mailer: Mozilla 3.0 (Win95; I) Date: 1996-11-07T00:00:00+00:00 List-Id: Robb Nebbe wrote: > Ignoring scoping rules we see that: > > C uses just the name. > > Eiffel uses the name and the type of one of the parameters. > > Ada uses the name and the type of all the parameters. Ada also distinguishes whether a call is a procedure call or a function call and, in the case of a function call, considers the result type expected in a given context. Thus procedure P (X: in Integer; Y: out Float); function P (X: Integer; Y: Float) return Character; function P (X: Integer; Y: Float) return String; can all be overloaded (which is not the case for the corresponding declarations in C++ or Java). -- Norman H. Cohen mailto:ncohen@watson.ibm.com http://www.research.ibm.com/people/n/ncohen