comp.lang.ada
 help / color / mirror / Atom feed
From: "news.bctel.net" <apolkhanov@incognito.com>
Subject: Re: Where did /= come from?
Date: Thu, 7 Nov 2002 16:23:19 -0800
Date: 2002-11-07T16:23:19-08:00	[thread overview]
Message-ID: <ZuDy9.43$Dh.532@news.bc.tac.net> (raw)
In-Reply-To: slrnaskc44.rf.randhol+news@kiuk0152.chembio.ntnu.no

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1130 bytes --]

I think Ada could be more consistent regarding "/=".
consider following invariant expressed in C and Ada
C: !(A==B) same as (A != B)
Ada: not (A = B), but (A not = B) is incorrect syntax.

Alexei.

"Preben Randhol" <randhol+news@pvv.org> wrote in message
news:slrnaskc44.rf.randhol+news@kiuk0152.chembio.ntnu.no...
> Matthew Baulch wrote:
> >
> > I'm not advocating C when I say this, but != makes far more sense than
/=
> > lexically speaking. In C, the Negative of a bool is retrieved with !foo.
> > In Ada, not foo. So I believe that K&R got it right using the !=
operator
> > for 'not equal'. Ada on the other hand doesn't use the ! operator and
"not
> > equal" is too clumsy so it could be far worse than '/='.
>
> Well you can argue that they got it wrong when they chose ! in stead of
> not and = instead of := and == in stead of = ;-)
>
> --
> Preben Randhol  --------------------  http://www.pvv.org/~randhol
> �.., chaos is found in greatest abundance wherever order is being
> sought. It always defeats order, because it is better organized.�
>                             -- Interesting Times, Terry Pratchett





  reply	other threads:[~2002-11-08  0:23 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-11-06 16:12 Where did /= come from? Programmer Dude
2002-11-06 16:50 ` Preben Randhol
2002-11-06 17:25   ` Programmer Dude
2002-11-07  9:31     ` Preben Randhol
2002-11-07 11:19       ` David C. Hoos, Sr.
2002-11-07 11:23         ` Preben Randhol
2002-11-07 22:56       ` Programmer Dude
2002-11-08  9:43         ` Preben Randhol
2002-11-08  9:53           ` Preben Randhol
2002-11-08 19:35             ` Programmer Dude
2002-11-06 17:33 ` Robert A Duff
2002-11-06 20:17   ` Programmer Dude
2002-11-07  6:50 ` Matthew Baulch
2002-11-07  9:21   ` Preben Randhol
2002-11-08  0:23     ` news.bctel.net [this message]
2002-11-08  9:45       ` Preben Randhol
2002-11-07 14:58   ` Ted Dennison
2002-11-07 15:29     ` Frank J. Lhota
2002-11-07 22:57       ` Programmer Dude
2002-11-08 17:06         ` Frank J. Lhota
2002-11-07 15:03   ` Robert A Duff
2002-11-07 18:02   ` Vinzent Hoefler
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox