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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,f039470e8f537101 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-07-30 13:22:39 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news-out1.nntp.be!propagator2-sterling!In.nntp.be!newsfeed01.tsnz.net!news.xtra.co.nz!53ab2750!not-for-mail Newsgroups: comp.lang.ada Subject: Re: Non-philosophical definition of Eiffel? From: Berend de Boer Message-ID: User-Agent: Gnus/5.090014 (Oort Gnus v0.14) Emacs/21.2 (i386-msvc-nt5.0.2195) References: <1058968422.225561@master.nyc.kbcfp.com> <3F200AD0.94F79098@adaworks.com> <7u9Ua.13412$634.10307@nwrdny03.gnilink.net> <3F215120.1040706@attbi.com> <1059151910.357790@master.nyc.kbcfp.com> <1059416297.548253@master.nyc.kbcfp.com> <1059510832.459614@master.nyc.kbcfp.com> <%SHVa.979$7h6.789@nwrdny03.gnilink.net> Cancel-Lock: sha1:PcqTGve6wrPnLZai0h6Q7D1eAEo= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Thu, 31 Jul 2003 08:20:52 +1200 NNTP-Posting-Host: 219.88.64.124 X-Complaints-To: newsadmin@xtra.co.nz X-Trace: news.xtra.co.nz 1059596559 219.88.64.124 (Thu, 31 Jul 2003 08:22:39 NZST) NNTP-Posting-Date: Thu, 31 Jul 2003 08:22:39 NZST Organization: Xtra Xref: archiver1.google.com comp.lang.ada:41042 Date: 2003-07-31T08:20:52+12:00 List-Id: >>>>> "Hyman" == Hyman Rosen writes: Hyman> Same functionality? They're containers. You put things in, Hyman> you take things out. They come out with the same type they Hyman> were put in with. The container holds things of exactly one Hyman> type, so there's no casting. If you want a polymorphic Hyman> container, you use a regular container of pointers to a Hyman> common base type. Are two such container of pointers to the same base type assignment compatible? And they're not when the common base type is not exactly equal (but one is a parent of the other for example)? -- Regards, Berend. (-: