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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,ef86287aa487b07a X-Google-Attributes: gid103376,public From: Robert A Duff Subject: Re: Pb with use of redefined "=" operator Date: 1998/11/09 Message-ID: #1/1 X-Deja-AN: 410174339 Sender: bobduff@world.std.com (Robert A Duff) References: <363F62F3.3FF7@club-internet.fr> <3640B520.D7BEEE72@elca-matrix.ch> <71sc4h$6en$1@nnrp1.dejanews.com> <71tee6$pi5$1@nnrp1.dejanews.com> Organization: The World Public Access UNIX, Brookline, MA Newsgroups: comp.lang.ada Date: 1998-11-09T00:00:00+00:00 List-Id: dewarr@my-dejanews.com writes: > There is of course the currently fashionable code-bloat style of programming > where no one cares if their programs run slowly and take up too much memory, > but the trouble is that if you write standard packages in this style, it very > much restricts the uses they can be put to... I very much agree with the above (I hate buying new hardware that's 2 times faster, and then finding that it's only 1.1 times faster in practise because the new software that goes with it makes up for the speed gains), but: >...(in many embedded and safety > critical applications, tagged types are eliminated for good reasons!) I disagree with that part. Making a type tagged adds one word of storage to each object of the type, in typical implementations of Ada. It's quite easy to decide on a case-by-case basis whether that's "too much". There might be reasons to forbid the 'Class attribute in certain safety-critical applications, but I see no reason to forbid "tagged". Tagged types (without 'Class) don't introduce any dynamic dispatching or anything else that might be of concern. I've heard some safety-critical folks talking about not using "tagged" because it introduces dynamic dispatching. But that's a misunderstanding of the language -- if you want to prevent dynamic dispatching, then forbid 'Class. - Bob -- Change robert to bob to get my real email address. Sorry.