From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,2f7ef46127892c41
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.220.230 with SMTP id pz6mr3081432pbc.3.1343098469376;
        Mon, 23 Jul 2012 19:54:29 -0700 (PDT)
Path: 
 b9ni44169225pbl.0!nntp.google.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!nrc-news.nrc.ca!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Little people supporting Ada, possibly through AdaCore?
Date: Wed, 18 Jul 2012 19:14:35 +0200
Organization: cbb software GmbH
Message-ID: <b5ps05xpprxg$.1e2yxwtsy6v9f.dlg@40tude.net>
References: 
 <12955589.960.1336138013614.JavaMail.geo-discussion-forums@vbbfk16>
 <5043095.1117.1336142172111.JavaMail.geo-discussion-forums@vbli11>
 <a0a9cf88-68f9-4286-96fa-c324c3181611@googlegroups.com>
 <2d7fae9a-5be7-4011-a945-5ecd95684025@googlegroups.com>
 <949570cd-bdda-49ff-93c7-5189546adf7a@googlegroups.com>
 <5004ff62$0$293$14726298@news.sunsite.dk>
 <db936361-76f2-4434-ad04-d7e903b470bb@googlegroups.com>
 <ef5306c7-39bb-41fa-a02c-e5addb47a2a1@googlegroups.com>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: 9A8bJrx4NhDLcSmbrb6AdA.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Date: 2012-07-18T19:14:35+02:00
List-Id: <comp.lang.ada>

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