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,f948976d12c7ee33 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-07-01 00:30:57 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!fu-berlin.de!uni-berlin.de!tar-alcarin.cbb-automation.DE!not-for-mail From: Dmitry A. Kazakov Newsgroups: comp.lang.ada Subject: Re: Boeing and Dreamliner Date: Tue, 01 Jul 2003 09:30:55 +0200 Message-ID: References: <3EFC6FC2.B96DAEA4@adaworks.com> <1056731513.272294@master.nyc.kbcfp.com> <3EFF2F6D.3793971@adaworks.com> <3F00E081.898E3C4A@adaworks.com> NNTP-Posting-Host: tar-alcarin.cbb-automation.de (212.79.194.111) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: fu-berlin.de 1057044655 33147228 212.79.194.111 (16 [77047]) X-Newsreader: Forte Agent 1.8/32.548 Xref: archiver1.google.com comp.lang.ada:39946 Date: 2003-07-01T09:30:55+02:00 List-Id: On Tue, 01 Jul 2003 05:31:20 GMT, Hyman Rosen wrote: >Richard Riehle wrote: > > In C++ it is perfectly legal to do all kinds of assignment statements > > where the result is not entirely predictable. > >I'm not sure what you mean by this. If you're talking about order >of evaluation, Ada has the same lack of predictability, although >Java does not. > >> A key difference between Ada and many other languages is >> the absence of structural equivalence in favor of named equivalence. > >Again, I don't know how this applies to C++, except for one case I >can think of - a union with record members all of which share the >identical set of leading fields. X Window uses this feature to allow >access to the type of an event. Another example is pointers. They are matched by structure not by names. In Ada different pointer types are different even if they point to objects of same type. It might look strange from C++ point of view, but sometimes it is very useful (consider storage pools, for example). However, it seems impossible to drop structured equivalence completely. So even in Ada there are anonymous access types, array types, ranges, T'Class etc, all matched by structure. --- Regards, Dmitry Kazakov www.dmitry-kazakov.de