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-Thread: 103376,fe928bde93f0c2f4
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news2.google.com!news3.google.com!feeder.news-service.com!news.osn.de!diablo2.news.osn.de!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Fun: the Ada assignment operator is an alias of the equivalence
 operator
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <op.vv51u3xqule2fv@douda-yannick>
Date: Sat, 28 May 2011 09:25:40 +0200
Message-ID: <mo17glnzuctx$.2pvurnwy3w7c$.dlg@40tude.net>
NNTP-Posting-Date: 28 May 2011 09:25:39 CEST
NNTP-Posting-Host: 60a14dfd.newsspool4.arcor-online.net
X-Trace: 
 DXC=k^eOKjIY][lEB;5>eE0T7m4IUK<Cl32<a4Fo<]lROoRa8kF<OcfhCOkDQUX2H;?^^g[6LHn;2LCVn[<mhadbfdUkNWGSM6GL<fl=Ph5E_5d6>k
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:20499
Date: 2011-05-28T09:25:39+02:00
List-Id: <comp.lang.ada>

On Sat, 28 May 2011 02:48:29 +0200, Yannick Duchêne (Hibou57) wrote:

> A very light topic: I've just discovered the Ada / Pascal assignment  
> operator, is one of the alias of the logical-equivalence or defined-as  
> operator, that is, “ := ” is an alias of “ ≡ ”.

I didn't see that usage of ":=" ("Defined-as" is not same "equivalent").

For "defined-as" I saw "=" with a small triangle or word "def" under it. In
grammar definitions "::=" or "->".

≡ is indeed used as equivalent/tautological.

> This is a rather good choice which was made… would have been a perfect  
> choice is this was not used for side effects (let say this is just the  
> interpretation context which slightly vary :-D ).

Assignment is not a logical operation, variables are not logical
predicates. Even

   A := B;
   Post (A = B); -- Not necessarily true.

(A variable is a mapping of the program state onto the domain values set.
Assignment merely denotes a state transition.)

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de