comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <bauhaus@futureapps.de>
Subject: Re: Dynamically tagged expression required
Date: Tue, 13 Dec 2005 21:43:46 +0100
Date: 2005-12-13T21:43:40+01:00	[thread overview]
Message-ID: <439f327b$0$9631$9b4e6d93@newsread2.arcor-online.net> (raw)
In-Reply-To: <3960599.EjDTT3E5sO@linux1.krischik.com>

Martin Krischik wrote:

>>  map_t m;
>>  //...
>>  m[k] = e;
>>  m.erase(k);
>>
>>and in Ada you say:
>>
>>  M : Map;
>>begin
>>  --...
>>  M.Include (K, E);
>>  M.Exclude (K);
> 
> 
> It's the interface. i.E. The STL cursors tries to mimic the C pointer
> behavior. Pointer arithmetic is low-level in my eyes.

OTOH, Ada containers, too, have a number of high level operations,
for example Intersection of sets, Floor... No visible cursors involved.
I believe you don't have this in STL's set<>, instead there are
generic algorithms.

> The OCL rather tries to mimic a simple database. And databases are more high
> level then pointers in my eyes.

I think the plan for Ada.Containers is to go on working
on generic algorithms. If a container doesn't provide
a high level operation that is likely used frequently,
it can be provided either using a generic algorithm, or,
maybe, by extending the container type.



  reply	other threads:[~2005-12-13 20:43 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-12-08 13:50 Dynamically tagged expression required Maciej Sobczak
2005-12-08 14:46 ` Georg Bauhaus
2005-12-08 14:52 ` Dmitry A. Kazakov
2005-12-08 19:17 ` Martin Krischik
2005-12-09  9:09   ` Maciej Sobczak
2005-12-09 12:05     ` Jean-Pierre Rosen
2005-12-09 16:41     ` Robert A Duff
2005-12-09 20:18       ` Martin Krischik
2005-12-11  0:43         ` Matthew Heaney
2005-12-11 11:45           ` Martin Krischik
2005-12-11 14:24             ` Matthew Heaney
2005-12-11 15:18               ` Martin Krischik
2005-12-11 18:07             ` Matthew Heaney
2005-12-12 19:16               ` Martin Krischik
2005-12-13 20:43                 ` Georg Bauhaus [this message]
2005-12-13 21:00                   ` Georg Bauhaus
2005-12-09 20:41       ` Randy Brukardt
2005-12-09 20:16     ` Martin Krischik
2005-12-11  0:46       ` Matthew Heaney
2005-12-12  9:44       ` Maciej Sobczak
2005-12-12 19:13         ` Martin Krischik
2005-12-14 10:22           ` Maciej Sobczak
2005-12-15 20:10             ` Martin Krischik
replies disabled

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