From: maa@liacc.up.pt (Mário Amado Alves)
Subject: Re: Adding "()" operator to Ada 200X
Date: 6 Jun 2003 03:56:15 -0700
Date: 2003-06-06T10:56:15+00:00 [thread overview]
Message-ID: <4a4de33a.0306060256.52b12d70@posting.google.com> (raw)
In-Reply-To: bbo3ut$btlcp$1@ID-77047.news.dfncis.de
> IMO one should first add a new set of types: "index" types. (Dmitry)
Maybe *every* 'conceptual' type should be in the type system.
A la Smalltalk.
This includes exceptions (cf. AE'2001) and, yes, ranges.
It always bugged me what is the 'return type' of the Range attribute.
I think it's the only attribute that does not return a type proper.
Even exceptions and tags have their 'surrogates' in the type system.
I can see "I .. J" as sugar for "Range (From => I, To => J)".
".." as an operator!
But this be too much to prepare for Ada 200Y :-(
Ada 20XX maybe, if we're still around :-)
next prev parent reply other threads:[~2003-06-06 10:56 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-06-02 16:35 Adding "()" operator to Ada 200X Frank J. Lhota
2003-06-02 23:42 ` Matthew Heaney
2003-06-03 14:59 ` Frank J. Lhota
2003-06-03 15:09 ` Frank J. Lhota
2003-06-03 16:04 ` Martin Krischik
2003-06-04 17:28 ` Matthew Heaney
2003-06-04 18:21 ` Frank J. Lhota
2003-06-05 1:15 ` Robert I. Eachus
2003-06-05 14:59 ` Frank J. Lhota
2003-06-05 17:25 ` Matthew Heaney
2003-06-03 20:24 ` Randy Brukardt
2003-06-03 19:52 ` Francisco Javier Loma Daza
2003-06-03 2:56 ` Fionn mac Cuimhaill
2003-06-03 14:02 ` Matthew Heaney
2003-06-03 16:23 ` Mário Amado Alves
2003-06-05 19:02 ` Dmitry A. Kazakov
2003-06-06 10:56 ` Mário Amado Alves [this message]
2003-06-06 16:55 ` Chad R. Meiners
2003-06-06 19:01 ` Frank J. Lhota
2003-06-09 14:15 ` Matthew Heaney
2003-06-07 8:36 ` 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