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: 109fba,c890e6ab3fb2c5fc X-Google-Attributes: gid109fba,public X-Google-Thread: 103376,c890e6ab3fb2c5fc X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1995-02-08 18:31:00 PST Path: swrinde!news.uh.edu!uuneo.neosoft.com!Starbase.NeoSoft.COM!not-for-mail From: dweller@Starbase.NeoSoft.COM (David Weller) Newsgroups: comp.lang.ada,comp.lang.c++ Subject: Re: Subject/Object Confusion Syndrome [was: Ada Objects Help] Date: 8 Feb 1995 20:25:04 -0600 Organization: NeoSoft Internet Services +1 713 684 5969 Message-ID: <3hbue0$i72@Starbase.NeoSoft.COM> References: <3f9g1u$j4m@nps.navy.mil> <3h1ahp$gf5@gnat.cs.nyu.edu> <3h3jmp$1h1@Starbase.NeoSoft.COM> NNTP-Posting-Host: starbase.neosoft.com Xref: swrinde comp.lang.ada:26412 comp.lang.c++:112790 Date: 1995-02-08T20:25:04-06:00 List-Id: In article , John Volan wrote: >dweller@Starbase.NeoSoft.COM (David Weller) writes: >>Quite right. Much in the same way that templates in C++ are not >>explicitly limited to "generic" situations, considering that >>templates are frequently used to implement bounded arrays in a manner >>that would make Ada people giggle. > >the safety that Ada-like arrays provide. For instance, are there C++ >compilers out there that can *remove* index-constraint checks when >they can be proven unnecessary, yet retain them when they are needed? > Hmm, this should be crossposted, but I think CodeCenter does. It's been a while now. You see, I've been "C++ Free" since August, 1994 :-) >On the other hand, are you also implying that Ada95 tagged types are >in some way inferior as a means of implementing object-oriented >designs? If so, what do you mean? > Not quite. What I was saying was that I agreed with Dewar's original comment -- tagged types do _not_ imply they are limited to inheritance. There's some extra goodies you get out of using tagged types that go past things like inheritance (RTTI, for instance). What I was _really_ trying to say is that tagged types exhibit the same philosophical flexibility as templates in C++ (or anything else you'd like to creatively do a #define on :-) -- Frustrated with C, C++, Pascal, Fortran? Ada95 _might_ be for you! For all sorts of interesting Ada95 tidbits, run the command: "finger dweller@starbase.neosoft.com | more" (or e-mail with "finger" as subj.)