comp.lang.ada
 help / color / mirror / Atom feed
From: Philippe Torres <ptorres@laas.fr>
Subject: Re: disjoint ranges ?
Date: 2000/10/13
Date: 2000-10-13T10:48:51+00:00	[thread overview]
Message-ID: <39E6E890.3B13E7A9@laas.fr> (raw)
In-Reply-To: 39E658A4.525AE881@acm.org

Jeff Carter wrote:
> 
> It's interesting how the useful things you can do easily with types and
> subtypes in Ada, and not at all or with difficulty in many (most?) other
> languages, lead people to expect even more from Ada's type system than
> it should reasonably be expected to do.
> 
It's very true but i find that, range being an attribute so common, the
union of ranges would be very useful and not that unreasonable. it could
only improve Ada's advantage in this domain. Perhaps in some future ?

Philippe




  reply	other threads:[~2000-10-13  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         ` Philippe Torres [this message]
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
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         ` Marin David Condic
2000-10-14  3:14           ` 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