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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,f51e93dacd9c7fca X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-06-18 02:50:39 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!fu-berlin.de!uni-berlin.de!dialin-145-254-035-157.arcor-ip.NET!not-for-mail From: Dmitry A.Kazakov Newsgroups: comp.lang.ada Subject: Re: status of Ada STL? Date: Tue, 18 Jun 2002 23:55:58 +0200 Message-ID: References: <4519e058.0206170753.599fd771@posting.google.com> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: dialin-145-254-035-157.arcor-ip.net (145.254.35.157) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit X-Trace: fu-berlin.de 1024393837 8839797 145.254.35.157 (16 [77047]) User-Agent: KNode/0.4 Xref: archiver1.google.com comp.lang.ada:26220 Date: 2002-06-18T23:55:58+02:00 List-Id: Russ wrote: > Immediately after the statement "x=3" executes, it becomes true in the > mathematical sense, which is why it makes sense. Nope. Consider C++ having user-defined type conversions. It is very easy to write a program in C++ that SomeClass x; x=3; if (x==3) // false In fact assignment (semantic of) has nothing to do with equality. You may have incomparable objects which can be assigned. You may have comparable objects that cannot be assigned. You may have objects which have several different semantics for assignment (deep/shallow copy/reference) and equality (distance/set equality etc). So this argument does not work for me. -- Regards, Dmitry Kazakov www.dmitry-kazakov.de