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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c9a5d6b3975624e1 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-10-05 19:18:54 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!news-out.cwix.com!newsfeed.cwix.com!newsfeed1.cidera.com!Cidera!cyclone1.gnilink.net!spamfinder.gnilink.net!nwrddc04.gnilink.net.POSTED!53ab2750!not-for-mail From: Hyman Rosen User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.2a) Gecko/20020910 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: OO in Ada References: <3D9D02F3.9090600@worldnet.att.net> <1033752899.224298@master.nyc.kbcfp.com> <3D9E3018.8000403@worldnet.att.net> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Sun, 06 Oct 2002 02:18:53 GMT NNTP-Posting-Host: 162.83.249.2 X-Complaints-To: abuse@verizon.net X-Trace: nwrddc04.gnilink.net 1033870733 162.83.249.2 (Sat, 05 Oct 2002 22:18:53 EDT) NNTP-Posting-Date: Sat, 05 Oct 2002 22:18:53 EDT Xref: archiver1.google.com comp.lang.ada:29537 Date: 2002-10-06T02:18:53+00:00 List-Id: Jim Rogers wrote: > I think that because the dispatching is always performed on the > type of "object" in object.method. Oh, I'm thinking of overloading on return type, sorry. There's no such thing as dispatching on return type, since by definition dispatching requires an object to dispatch upon! > I disagree here. Ada does not give the illusion of multiple dispatch. > An Ada subprogram can only be primitive to one type. Yes, but that subprogram can take multiple parameters of that type, and when a call is made to that subprogram with arguments which are classwide, they must all have the same dynamic type (which is then used in the dispatch) or an exception results. I think. I'm not an Ada programmer, after all.