From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Little people supporting Ada, possibly through AdaCore?
Date: Wed, 18 Jul 2012 19:14:35 +0200
Date: 2012-07-18T19:14:35+02:00 [thread overview]
Message-ID: <b5ps05xpprxg$.1e2yxwtsy6v9f.dlg@40tude.net> (raw)
In-Reply-To: ef5306c7-39bb-41fa-a02c-e5addb47a2a1@googlegroups.com
On Wed, 18 Jul 2012 06:33:34 -0700 (PDT), Marc C wrote:
> An "unordered" set is an *unordered* set. It is inappropriate to expect
> any kind of intrinsic or 'order of insertion' ordering of elements in
> such a set.
True. However a set of truly unordered elements cannot be implemented
otherwise than on top of an ordered set. E.g. to be able to implement
membership test. Either the container imposes some order on the elements or
else the elements have some arbitrary order.
It is interesting to speculate about the interface of an unordered set such
that the clients could not exploit its ad-hoc order.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2012-07-24 2:54 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-05-04 13:26 Little people supporting Ada, possibly through AdaCore? Patrick
2012-05-04 14:36 ` Marc C
2012-07-16 15:47 ` Adrian Hoe
2012-07-16 18:13 ` Marc C
2012-07-17 1:58 ` Adrian Hoe
2012-07-17 6:00 ` Thomas Løcke
2012-07-17 13:47 ` Adrian Hoe
2012-07-17 15:06 ` Thomas Løcke
2012-07-18 13:33 ` Marc C
2012-07-18 17:14 ` Dmitry A. Kazakov [this message]
2012-07-18 17:49 ` Simon Wright
2012-07-18 20:57 ` Vasiliy Molostov
2012-07-19 8:08 ` Dmitry A. Kazakov
2012-07-19 12:12 ` Vasiliy Molostov
2012-07-19 13:22 ` Georg Bauhaus
2012-07-21 17:01 ` Vasiliy Molostov
2012-07-20 2:51 ` Randy Brukardt
2012-07-21 17:04 ` Vasiliy Molostov
2012-07-19 7:45 ` Maciej Sobczak
2012-07-19 8:23 ` Dmitry A. Kazakov
2012-07-19 12:42 ` Maciej Sobczak
2012-07-19 14:05 ` Dmitry A. Kazakov
2012-07-19 1:01 ` gautier_niouzes
2012-05-04 17:55 ` Manuel Gomez
2012-05-04 19:59 ` okellogg
2012-05-05 17:13 ` Simon Wright
2012-05-06 16:26 ` okellogg
2012-05-06 16:42 ` Yannick Duchêne (Hibou57)
2012-05-06 16:55 ` Simon Wright
2012-05-06 17:21 ` Yannick Duchêne (Hibou57)
2012-05-06 19:33 ` Simon Wright
2012-05-20 13:38 ` okellogg
2012-05-05 14:17 ` Marco
2012-05-06 13:01 ` Lucretia
2012-05-04 19:28 ` gautier_niouzes
2012-05-05 13:28 ` Pascal Obry
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox