From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Copying rows in a two dimensional array.
Date: Thu, 4 Feb 2010 10:10:06 +0100
Date: 2010-02-04T10:10:06+01:00 [thread overview]
Message-ID: <1fmfi9p68s4an$.1q50he325y45g.dlg@40tude.net> (raw)
In-Reply-To: a5504422-655e-47fe-86fd-2272edf1ab6e@g29g2000yqe.googlegroups.com
On Wed, 3 Feb 2010 20:13:20 -0800 (PST), Hibou57 (Yannick Duch�ne) wrote:
> On 1 f�v, 03:11, "Peter C. Chapin" <pcc482...@gmail.com> wrote:
>> Apparently the component type of an array needs to be fully constrained (which
>> again makes sense) yet I don't know the size
> That's what generics are made for.
> But you will have a single matrix type of a fixed size.
Generics per design are incapable to express that the thing is variable.
You cannot make a generic variable-dimension matrix, a generic string, or
for that matter even a generic number:
generic
Value : WHAT?
package Integer is
...
end Integer;
That does not work.
> I you don't want a fixed size type, the best I will think about, would
> be to create an abstract matrix type which will be implemented on a
> one dimensional array. You could use slice in the implementation.
This does not work either, I mean at the user interface level, because
slice does not have a type. In Ada types system you cannot express "the
subtype S is a vector of the type M". Therefore making it abstract types
you will loose most of the comfort built-in arrays offer.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2010-02-04 9:10 UTC|newest]
Thread overview: 48+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-02-01 2:11 Copying rows in a two dimensional array Peter C. Chapin
2010-02-01 4:42 ` Jeffrey R. Carter
2010-02-01 6:55 ` Niklas Holsti
2010-02-01 23:36 ` Peter C. Chapin
2010-02-04 4:27 ` Hibou57 (Yannick Duchêne)
2010-02-01 8:37 ` Dmitry A. Kazakov
2010-02-02 0:11 ` Randy Brukardt
2010-02-07 16:13 ` Robert A Duff
2010-02-08 6:30 ` tmoran
2010-02-08 13:15 ` Robert A Duff
2010-02-08 13:45 ` Dmitry A. Kazakov
2010-02-08 21:20 ` Robert A Duff
2010-02-08 23:26 ` (see below)
2010-02-09 0:36 ` Randy Brukardt
2010-02-09 1:03 ` (see below)
2010-02-09 7:11 ` Pascal Obry
2010-02-09 8:14 ` AdaMagica
2010-02-09 14:33 ` Robert A Duff
2010-02-09 1:05 ` Adam Beneschan
2010-02-09 14:45 ` Robert A Duff
2010-02-09 18:50 ` tmoran
2010-02-09 19:51 ` Pascal Obry
2010-02-09 23:03 ` Robert A Duff
2010-02-08 18:53 ` tmoran
2010-02-08 21:14 ` Robert A Duff
2010-02-08 21:29 ` Pascal Obry
2010-02-09 8:56 ` Jean-Pierre Rosen
2010-02-09 9:14 ` AdaMagica
2010-02-09 11:19 ` Jean-Pierre Rosen
2010-02-09 14:26 ` Robert A Duff
2010-02-09 6:34 ` tmoran
2010-02-09 14:29 ` Robert A Duff
2010-02-09 18:49 ` tmoran
2010-02-09 22:58 ` Robert A Duff
2010-02-01 22:10 ` Jerry
2010-02-02 0:07 ` Randy Brukardt
2010-02-02 8:52 ` Jean-Pierre Rosen
2010-02-02 22:23 ` Jerry
2010-02-03 1:24 ` Adam Beneschan
2010-02-04 4:42 ` Hibou57 (Yannick Duchêne)
2010-02-14 0:42 ` jonathan
2010-02-14 1:54 ` Hibou57 (Yannick Duchêne)
2010-02-14 16:16 ` jonathan
2010-03-22 8:56 ` Ole-Hjalmar Kristensen
2010-02-16 6:51 ` David Thompson
2010-02-04 4:13 ` Hibou57 (Yannick Duchêne)
2010-02-04 9:10 ` Dmitry A. Kazakov [this message]
2010-02-04 9:23 ` Hibou57 (Yannick Duchêne)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox