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: 103376,229ea0001655d6a2
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!out03a.usenetserver.com!news.usenetserver.com!in02.usenetserver.com!news.usenetserver.com!cycny01.gnilink.net!cyclone1.gnilink.net!gnilink.net!nx02.iad01.newshosting.com!newshosting.com!198.186.194.250.MISMATCH!transit3.readnews.com!news-out.readnews.com!newspeer1.nwr.nac.net!newsfeed.freenet.de!news.teledata-fn.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Generic Package
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <1177539306.952515.222940@s33g2000prh.googlegroups.com>
 <1177601484.444701.171560@r35g2000prh.googlegroups.com>
 <pcp92sp50q98$.lad523qlftgm.dlg@40tude.net> <m2zm4udcqt.fsf@mac.com>
 <degsdvcu9wwi$.1j7dffe23bgq5$.dlg@40tude.net>
 <9eejm6rqip.fsf@hod.lan.m-e-leypold.de>
 <19qllkvm6ut42$.1iqo74vjgmsrv$.dlg@40tude.net>
 <1177801611.10171.32.camel@localhost.localdomain>
 <1woad6hn9idy2$.6otnwphc1o0h$.dlg@40tude.net>
 <1177929029.6111.34.camel@localhost>
 <maztz79bn7ey.1bxuei6uqjiwu.dlg@40tude.net>
 <1177944533.13970.17.camel@localhost>
 <2aq08qbvw0ym$.1rquampzo7o53.dlg@40tude.net> <m24pmx4q5p.fsf@mac.com>
 <1ieq3io2d6nnq$.13818v3y35gnr.dlg@40tude.net>
 <1178010142.6695.29.camel@localhost.localdomain>
Date: Tue, 1 May 2007 12:19:56 +0200
Message-ID: <yrtifdx6n145$.fizmsut5omi6$.dlg@40tude.net>
NNTP-Posting-Date: 01 May 2007 12:19:33 CEST
NNTP-Posting-Host: 673e06c1.newsspool4.arcor-online.net
X-Trace: 
 DXC=5UMb?^i6J>Jk:C4l9A;OcO4IUK<Cl32<A4Fo<]lROoRA4nDHegD_]REET?V`[oXMUBDNcfSJ;bb[EIRnRBaCd<MNGjoTQI9dK8OkZ4?`bc^haB
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:15436
Date: 2007-05-01T12:19:33+02:00
List-Id: <comp.lang.ada>

On Tue, 01 May 2007 11:02:22 +0200, Georg Bauhaus wrote:

> On Mon, 2007-04-30 at 22:04 +0200, Dmitry A. Kazakov wrote:
>> It was that if foreach were a primitive operation
>> defined on an unordered set, then its contract could not be stated.
> 
> Every specific Set object (collection of elements) inside a computer has
> a memory layout.

So the memory layout is a part of the contract?

[... I skip stuff that computers are DFA's, which is not disputed ...]

>> To be able to pick a random member <=>
>> to have an order.
> 
> Can you determine whether one of your sets is empty?

Sure. I can compare an empty set with the given set. This does not require
picking elements.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de