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,34c2aa33b8bdb1a9 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-01-11 12:07:22 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!canoe.uoregon.edu!hammer.uoregon.edu!skates!not-for-mail From: Stephen Leake Newsgroups: comp.lang.ada Subject: Re: Sugestion to Multiple Inheritance Date: 11 Jan 2002 14:57:43 -0500 Organization: NASA Goddard Space Flight Center Message-ID: References: NNTP-Posting-Host: anarres.gsfc.nasa.gov Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: skates.gsfc.nasa.gov 1010779304 6801 128.183.220.71 (11 Jan 2002 20:01:44 GMT) X-Complaints-To: dscoggin@cne-odin.gsfc.nasa.gov NNTP-Posting-Date: 11 Jan 2002 20:01:44 GMT User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7 Xref: archiver1.google.com comp.lang.ada:18795 Date: 2002-01-11T20:01:44+00:00 List-Id: lutz@iks-jena.de (Lutz Donnerhacke) writes: > * Stephen Leake wrote: > >lutz@iks-jena.de (Lutz Donnerhacke) writes: > >> A -> B B is an extended A and C is an extended A. > >> | | D combines both extensions (requiring both). > >> v v > >> C -> D > > > >I need more information about why C and B need to be independent types. > > They do not need to be types at all. They are abstactions => interfaces. > Example: A describes a sort algorithm. B describes stableness. C describes > in-place-ness. D describes stable, in-place sort algorithms. Well, if they don't have to be types, you can easily do it in Ada. But all your complaints were that it could not be done with abstract Ada types. -- -- Stephe