comp.lang.ada
 help / color / mirror / Atom feed
From: Marin David Condic <nobody@noplace.com>
Subject: Re: The "()" operator revisited.
Date: Tue, 13 Jan 2004 13:13:23 GMT
Date: 2004-01-13T13:13:23+00:00	[thread overview]
Message-ID: <4003EEEC.40106@noplace.com> (raw)
In-Reply-To: raBMb.9128$Qq.7455@nwrdny01.gnilink.net

Just off the top of my head, this would probably break a lot of stuff. 
Currently operators defined with the "" are *infix* operators. The "()" 
is a Idontknowwhatkindoffix operator - and that's likely to cause all 
sorts of parser problems. The "():=" procedure is even more bizarre. Its 
part procedure call and part assignment statement. We've had numerous 
debates here about why you can't make a user defined assignment 
statement as an operator (because assignment is not defined as a 
function) and on top of that, you're creating what looks like assigning 
an expression to a procedure. I'm not sure what the consequences are of 
allowing these to have multiple indicese either - since, again, the 
original restriction on things like ">=" have always been that they were 
infix operators with binary parameters. My guess is this would have to 
make the syntax trees look like an unholy mess.

Its a noble thing to say "Ada ought to support a bunch of containers and 
it ought to do so in as natural a way as possible from the view of the 
programmer". I'm just not sure that this wouldn't break too much stuff 
to be worth it. Perhaps it would be better to invent some container 
concept and invent its own notation in some manner rather than try to 
force them to look like arrays. I'm not sure what that is, but there are 
still lots of special characters left on the keyboard and we could 
always add a few new reserved words (with some pain) - come up with a 
whole new language construct (something based Reverse Polish Notation 
maybe?) or set of constructs for dealing with containers. That might be 
easier to handle than trying to remold array notation.

MDC


Frank J. Lhota wrote:
> Last June, I proposed that in order to provide an abstract array capability,
> Ada 0y should support  user-defined "()" and "():="operators. Since this
> issue has come up again, I would like to summarize and expand on this
> proposal.
> 

-- 
======================================================================
Marin David Condic
I work for: http://www.belcan.com/
My project is: http://www.jsf.mil/NSFrames.htm

Send Replies To: m   o   d   c @ a   m   o   g
                    c   n   i       c   .   r

     "Face it ladies, its not the dress that makes you look fat.
     Its the FAT that makes you look fat."

         --  Al Bundy

======================================================================




  parent reply	other threads:[~2004-01-13 13:13 UTC|newest]

Thread overview: 45+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-01-12 17:53 The "()" operator revisited Frank J. Lhota
2004-01-12 18:38 ` Frank J. Lhota
2004-01-12 22:26 ` Robert A Duff
2004-01-13 16:29   ` Frank J. Lhota
2004-01-13  9:24 ` Dmitry A. Kazakov
2004-01-13 16:44   ` Frank J. Lhota
2004-01-13 17:13     ` Hyman Rosen
2004-01-13 22:27     ` Randy Brukardt
2004-01-14  2:30     ` Stephen Leake
2004-01-14  9:04     ` Dmitry A. Kazakov
2004-01-17  0:15       ` Kenneth Almquist
2004-01-17 21:15         ` Robert A Duff
2004-01-19 10:25         ` Dmitry A. Kazakov
2004-01-13 13:13 ` Marin David Condic [this message]
2004-01-13 17:38   ` Warren W. Gay VE3WWG
2004-01-13 19:09     ` Robert A Duff
2004-01-15 17:30       ` Warren W. Gay VE3WWG
2004-01-15 18:11         ` Robert A Duff
2004-01-15 19:36           ` tmoran
2004-01-15 20:35             ` Robert A Duff
2004-01-17  5:48               ` Robert I. Eachus
2004-01-16  1:52           ` Redefining := (was: The "()" operator revisited.) Jeffrey Carter
2004-01-16 21:37             ` Randy Brukardt
2004-01-19 11:33               ` Dmitry A. Kazakov
2004-01-16  3:11           ` The "()" operator revisited Mark A. Biggar
2004-01-16 13:28             ` Hyman Rosen
2004-01-16 16:19             ` Robert A Duff
2004-01-16 18:09             ` Warren W. Gay VE3WWG
2004-01-16 13:56           ` Frank J. Lhota
2004-01-16 16:14             ` Robert A Duff
2004-01-16 21:29               ` Frank J. Lhota
  -- strict thread matches above, loose matches on Subject: below --
2004-01-13 17:46 amado.alves
2004-01-13 22:21 ` Randy Brukardt
2004-01-13 17:53 amado.alves
2004-01-14  9:09 ` Dmitry A. Kazakov
2004-01-14 12:55   ` Georg Bauhaus
2004-01-14 15:05     ` Dmitry A. Kazakov
2004-01-15  1:21       ` Georg Bauhaus
2004-01-15  8:50         ` Dmitry A. Kazakov
2004-01-15 11:09           ` Georg Bauhaus
2004-01-15 13:23             ` Dmitry A. Kazakov
2004-01-17  6:26               ` Robert I. Eachus
2004-01-14 13:04   ` Hyman Rosen
2004-01-14 15:22 amado.alves
2004-01-14 16:16 ` Dmitry A. Kazakov
replies disabled

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