comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Unconstrained array aggregation..sq. peg into round hole?
Date: 1996/03/22
Date: 1996-03-22T00:00:00+00:00	[thread overview]
Message-ID: <dewar.827504035@schonberg> (raw)
In-Reply-To: EACHUS.96Mar21185700@spectre.mitre.org

Robert Eachus said:

"   I never understood why, if this useful and used feature was in Ada
83 and Ada 95, you have to go through all this semantic sugar to create
the ragged array type.  To keep novice users from trying it?"

it is not really a ragged array at all. If an implementation uses hidden
heap pointers (very few implementations do in this case, e.g. the old
Alsys technology, which sometimes uses hidden pointers, does not do so,
and the last time I used RR it warned of storage leaks here), then all
you have is an array of pointers, which is more easily declared
directly.

If the implementation allocates the maximum, fine, but that is not what
people call a ragged array!

THere is nothing odd about the syntax here, it is a natural combination
of features. If novices don't undrstand it, they certainly should not
be using it!

As for allowing directly the notion of array of unconstrained array, this
is no different from allowing e.g.

	X : String;

in the first place. Although this has definable semantics, it represents
a level of dynamic behavior that is inconsistent with the rest of the
Ada design (in particular, this would definitely require hidden heap
allocation, and probably only makes sense in a garbage collected regime).





  reply	other threads:[~1996-03-22  0:00 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-03-17  0:00 Unconstrained array aggregation..sq. peg into round hole? David Weller
1996-03-19  0:00 ` Ted Dennison
1996-03-19  0:00   ` Robert Dewar
1996-03-19  0:00 ` Unconstrained array aggregation..sq. peg i John Hutchison x2141
1996-03-20  0:00 ` Unconstrained array aggregation..sq. peg into round hole? Jon S Anthony
1996-03-20  0:00   ` David Weller
1996-03-20  0:00 ` Robert I. Eachus
1996-03-20  0:00   ` Robert A Duff
1996-03-20  0:00     ` Keith Thompson
1996-03-21  0:00   ` Robert I. Eachus
1996-03-22  0:00     ` Robert Dewar [this message]
1996-03-25  0:00   ` Robert I. Eachus
1996-03-25  0:00     ` Robert Dewar
replies disabled

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