From: "Ehud Lamm" <mslamm@mscc.huji.ac.il>
Subject: Re: Container reqs
Date: Mon, 15 Oct 2001 22:13:13 +0200
Date: 2001-10-15T22:13:13+02:00 [thread overview]
Message-ID: <9qfglb$7sb$4@news.huji.ac.il> (raw)
In-Reply-To: slrn9slt9m.i2.lutz@taranis.iks-jena.de
Lutz Donnerhacke <lutz@iks-jena.de> wrote in message
news:slrn9slt9m.i2.lutz@taranis.iks-jena.de...
> * Ehud Lamm wrote:
> >* From my experiens the item type is best accepted as a generic paramter
(I
> >say this, before anyone suggests and "Object" type, and we start fighting
> >over MI)
>
> type Item is (<>) tagged abstract limited private;
>
> in order to build collections of tasks and more.
>
> type Item is exception;
>
> *grin*
>
> Bute seriosly it's necessary, that the same item occurs in several
> collections at once. It must be possible to build stacks of lists and hold
a
> task element in a list and a hash simultaniously. Good luck.
>
So we need defaults. "take a private type and supply default named
operations like Assign"
But, I think we should decide on the semantics. If you can use by-reference
semantics, you can solv emany of these simply by instantiating with access
types. This can be problematic, but where applicable cansave us a lot of
trouble..
> Of course ... provide algorithms with different size/time constraints.
> _Prove_ them correctly and derivate the size/time constraints.
> Do not assume special derivations for those algorithms, so allow
algorithms
> over native Ada types.
Ok.
<aside>Now when will we have speicalization of generics...</aside>
> Keep them threadsafe and multiaccessed, i.e. allow the usage of active
> Iterator to create further Iterators which in turn modify the structure.
I don't see any problem with this.
next prev parent reply other threads:[~2001-10-15 20:13 UTC|newest]
Thread overview: 114+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-10-14 20:46 Container reqs Ehud Lamm
2001-10-14 22:00 ` Larry Kilgallen
2001-10-15 20:04 ` Ehud Lamm
2001-10-16 15:19 ` Ted Dennison
2001-10-16 19:17 ` Darren New
2001-10-14 22:52 ` James Rogers
2001-10-15 1:22 ` Darren New
2001-10-15 20:06 ` Ehud Lamm
2001-10-16 18:29 ` Stephen Leake
2001-10-17 5:55 ` Simon Wright
2001-10-15 20:15 ` Ehud Lamm
2001-10-15 6:49 ` Jeffrey Carter
2001-10-16 15:25 ` Ted Dennison
2001-10-17 12:40 ` John English
2001-10-17 13:16 ` Ted Dennison
2001-10-18 15:26 ` John English
2001-10-18 16:02 ` Ted Dennison
2001-10-17 14:17 ` Ehud Lamm
2001-10-23 8:17 ` John English
2001-10-23 14:23 ` Ehud Lamm
2001-10-23 20:07 ` Stephen Leake
2001-10-23 20:46 ` Ehud Lamm
2001-10-23 20:50 ` Ted Dennison
2001-10-23 21:18 ` Marin David Condic
2001-10-24 8:30 ` Ehud Lamm
2001-10-24 14:08 ` Marin David Condic
2001-10-25 20:10 ` Ehud Lamm
2001-10-25 21:18 ` Marin David Condic
2001-10-25 21:25 ` Marin David Condic
2001-10-23 21:27 ` Larry Hazel
2001-10-23 22:03 ` Ehud Lamm
2001-10-15 14:27 ` Ted Dennison
2001-10-15 17:47 ` Darren New
2001-10-15 20:08 ` Ehud Lamm
2001-10-17 6:08 ` Simon Wright
2001-10-18 20:52 ` Ehud Lamm
2001-10-18 22:29 ` Jeffrey Carter
2001-10-19 12:10 ` Georg Bauhaus
2001-10-19 15:36 ` Stephen Leake
2001-10-19 14:53 ` Ehud Lamm
2001-10-20 11:10 ` Simon Wright
2001-10-21 18:17 ` Stephen Leake
2001-10-22 17:02 ` Ehud Lamm
2001-10-22 17:34 ` David Botton
2001-10-22 18:02 ` Ehud Lamm
2001-10-20 2:44 ` Jeffrey Carter
2001-10-21 18:24 ` Stephen Leake
2001-10-23 1:13 ` Stephen Leake
2001-10-23 2:09 ` Jeffrey Carter
2001-10-23 13:29 ` Ted Dennison
2001-10-24 2:26 ` Jeffrey Carter
2001-10-24 13:54 ` Ted Dennison
2001-10-24 14:02 ` Lutz Donnerhacke
2001-10-24 14:24 ` Marin David Condic
2001-10-24 19:01 ` Stephen Leake
2001-10-25 1:40 ` Jeffrey Carter
2001-10-15 14:39 ` Lutz Donnerhacke
2001-10-15 15:36 ` Marin David Condic
2001-10-16 18:47 ` Stephen Leake
2001-10-16 19:18 ` Marin David Condic
2001-10-15 20:13 ` Ehud Lamm [this message]
2001-10-16 8:14 ` Lutz Donnerhacke
2001-10-16 8:50 ` Ehud Lamm
2001-10-16 10:12 ` Lutz Donnerhacke
2001-10-16 9:45 ` Jean-Marc Bourguet
2001-10-16 13:20 ` Ehud Lamm
2001-10-16 15:34 ` Ted Dennison
2001-10-16 18:49 ` Stephen Leake
2001-10-17 6:02 ` Simon Wright
2001-10-16 17:21 ` Jeffrey Carter
2001-10-16 18:57 ` Ted Dennison
2001-10-16 18:59 ` Stephen Leake
2001-10-16 19:38 ` Marin David Condic
2001-10-16 20:01 ` Larry Kilgallen
2001-10-16 20:19 ` Marin David Condic
2001-10-30 6:53 ` Barry Kelly
2001-10-30 14:53 ` Marin David Condic
2001-10-30 16:14 ` Jean-Marc Bourguet
2001-10-30 16:55 ` Marin David Condic
2001-10-31 6:37 ` Simon Wright
2001-10-30 17:45 ` Stephen Leake
2001-10-16 22:12 ` Robert*
2001-10-17 7:09 ` Jean-Marc Bourguet
2001-10-17 13:36 ` Ted Dennison
2001-10-17 14:12 ` Jean-Marc Bourguet
2001-10-17 15:15 ` Ted Dennison
2001-10-17 16:32 ` Jean-Marc Bourguet
2001-10-17 16:49 ` Ted Dennison
2001-10-17 16:55 ` Ehud Lamm
2001-10-18 7:39 ` Lutz Donnerhacke
2001-10-18 9:03 ` Jean-Marc Bourguet
2001-10-18 17:25 ` Jeffrey Carter
2001-10-18 20:09 ` Lutz Donnerhacke
2001-10-18 22:35 ` Jeffrey Carter
2001-10-19 8:44 ` Lutz Donnerhacke
2001-10-20 11:14 ` Simon Wright
2001-10-21 16:37 ` Paul Duquennoy
2001-10-17 17:18 ` Jeffrey Carter
2001-10-18 8:59 ` Jean-Marc Bourguet
2001-10-18 19:42 ` Simon Wright
2001-10-18 20:55 ` Ehud Lamm
2001-10-22 6:46 ` Kenneth Almquist
2001-10-22 8:04 ` mike
2001-10-22 8:42 ` Lutz Donnerhacke
2001-10-22 16:30 ` Jeffrey Carter
2001-10-22 17:14 ` Ehud Lamm
2001-10-16 11:37 ` Jean-Marc Bourguet
2001-10-16 13:23 ` Ehud Lamm
2001-10-16 13:39 ` Jean-Marc Bourguet
2001-10-16 15:36 ` Vincent Marciante
2001-10-16 16:15 ` Pat Rogers
2001-10-16 19:04 ` Stephen Leake
2001-10-16 15:53 ` Ted Dennison
2001-10-16 15:58 ` Jean-Marc Bourguet
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox