comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <bauhaus@futureapps.de>
Subject: Re: Equivalent keys/elements in Ada.Containers Maps and Sets
Date: Fri, 26 Jan 2007 01:08:38 +0100
Date: 2007-01-26T01:08:38+01:00	[thread overview]
Message-ID: <1169770117.7506.10.camel@localhost.localdomain> (raw)
In-Reply-To: <1169691760.029031.54630@s48g2000cws.googlegroups.com>

On Wed, 2007-01-24 at 18:22 -0800, Adam Beneschan wrote:
> 
> On Jan 24, 2:50 pm, "Matthew Heaney" <mhea...@on2.com> wrote:
> 
> > This is a silly argument.  The Ada container library is modeled on the
> > C++ STL, and in that library the requirement for "strict weak ordering"
> > for the binary predicate for ordered associative containers is clear.

Whew, this is _not_ an argument for being practical in my view.
Are you implying that a programmer who wants to use Ada.Containers,
whether he/she is familiar with the STL or not,
should see to it that both ISO/IEC 8652:2007(E) (Ada)
and ISO/IEC 14882:2003 (C++) and associated documents
are available for reference?

> No, of course not.  But I guess I am suggesting that the Ada
> programming community expects the RM to be correct.

Yes, and the RM should stay helpful, too. If I wanted to use shared
variables in a C++ program, and be asked to consult the Ada programming
language and protected types, will this suggestion be acceptable
to any practical C++ programmer? No.


 -- Georg 





  reply	other threads:[~2007-01-26  0:08 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-01-23 12:56 Equivalent keys/elements in Ada.Containers Maps and Sets Niklas Holsti
2007-01-23 15:45 ` Matthew Heaney
2007-01-23 16:47   ` Matthew Heaney
2007-01-23 23:04   ` Niklas Holsti
2007-01-24  0:43     ` Randy Brukardt
2007-01-24  7:52       ` Niklas Holsti
2007-01-24 21:06         ` Randy Brukardt
2007-01-24 16:50       ` Matthew Heaney
2007-01-24 21:18         ` Randy Brukardt
2007-01-24 21:27           ` Adam Beneschan
2007-01-24 22:50             ` Matthew Heaney
2007-01-25  2:22               ` Adam Beneschan
2007-01-26  0:08                 ` Georg Bauhaus [this message]
2007-01-24 20:56       ` Adam Beneschan
2007-01-24 20:57         ` Adam Beneschan
2007-01-24 22:56         ` Matthew Heaney
2007-01-25  0:44           ` Randy Brukardt
2007-01-24 16:11     ` Matthew Heaney
2007-01-24 18:12       ` Niklas Holsti
replies disabled

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