comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: disjoint ranges ?
Date: 2000/10/18
Date: 2000-10-18T00:00:00+00:00	[thread overview]
Message-ID: <8sksl4$b6o$1@nnrp1.deja.com> (raw)
In-Reply-To: 39EBB984.F2F8905F@ix.netcom.com

In article <39EBB984.F2F8905F@ix.netcom.com>,
  Lao Xiao Hai <laoxhai@ix.netcom.com> wrote:
> So, making a feature more powerful might be something such as
being
> able to overload the "in" membership test.   For some reason,
this
> operator is not really a first class operator in Ada.

For very good reasons! The right operand of IN is not a value,
but a range. If you want to start making discrete ranges
first class values, you have suddenly taken (one of many)
avaliable trains to the land-of-increased-complexity.

It is easy to throw out an idea like this casually, but if
you even start to try to think what all the effects would
be on the existing semantics, you will find that it is far
harder than you think. Language design is like skiing, it
looks much easier than it is, and it is only when you actually
start doing it, that you find out it is more complex :-)


Sent via Deja.com http://www.deja.com/
Before you buy.




  parent reply	other threads:[~2000-10-18  0:00 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-10-12  0:00 disjoint ranges ? Philippe Torres
2000-10-12  0:00 ` Pat Rogers
2000-10-12  0:00   ` Ehud Lamm
2000-10-12  0:00     ` Pat Rogers
2000-10-13  0:00       ` Ehud Lamm
2000-10-13  0:34       ` Jeff Carter
2000-10-13  0:00         ` Marin David Condic
2000-10-14  3:14           ` Robert Dewar
2000-10-13  0:00         ` Philippe Torres
2000-10-14  3:12           ` Robert Dewar
2000-10-16  0:00             ` Robert A Duff
2000-10-16  0:00               ` Lao Xiao Hai
2000-10-17  0:00                 ` Robert A Duff
2000-10-17  0:00                   ` Lao Xiao Hai
2000-10-18  0:00                   ` dmitry6243
2000-10-18  0:00                 ` Robert Dewar [this message]
2000-10-18  0:00                   ` Robert A Duff
2000-10-19  3:08                     ` Overloading "in" (was: disjoint ranges ?) Jeff Carter
2000-10-19  0:00                       ` Ehud Lamm
2000-10-21  0:00                       ` Robert Dewar
2000-10-21  0:00                         ` Jeff Carter
2000-10-16  0:00               ` disjoint ranges ? Robert Dewar
2000-10-13  0:00     ` Philippe Torres
2000-10-13  0:00 ` wayne lydecker
2000-10-13  0:00   ` Lao Xiao Hai
2000-10-23  0:00     ` Charles Hixson
2000-10-24  0:00       ` dmitry6243
2000-10-13  0:00   ` wayne lydecker
2000-10-13  0:00 ` Lao Xiao Hai
2000-10-14  3:17   ` Robert Dewar
2000-10-16  0:00   ` Robert A Duff
2000-10-24  0:00 ` Andrew Cooke
replies disabled

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