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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,229ea0001655d6a2 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Newsgroups: comp.lang.ada Subject: Re: Generic Package References: <1177539306.952515.222940@s33g2000prh.googlegroups.com> <1177601484.444701.171560@r35g2000prh.googlegroups.com> <9eejm6rqip.fsf@hod.lan.m-e-leypold.de> <19qllkvm6ut42$.1iqo74vjgmsrv$.dlg@40tude.net> From: Markus E Leypold Organization: N/A Date: Sun, 29 Apr 2007 18:26:27 +0200 Message-ID: User-Agent: Some cool user agent (SCUG) Cancel-Lock: sha1:63G6O48H9HsZj0gDNEV9Ch3uqL4= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii NNTP-Posting-Host: 88.74.40.153 X-Trace: news.arcor-ip.de 1177863501 88.74.40.153 (29 Apr 2007 18:18:21 +0200) X-Complaints-To: abuse@arcor-ip.de Path: g2news1.google.com!news4.google.com!feeder3.cambrium.nl!feeder2.cambrium.nl!feed.tweaknews.nl!xlned.com!feeder1.xlned.com!newsfeed.freenet.de!news.tu-darmstadt.de!newsfeed.hanau.net!news-fra1.dfn.de!newsfeed.arcor-ip.de!news.arcor-ip.de!not-for-mail Xref: g2news1.google.com comp.lang.ada:15412 Date: 2007-04-29T18:26:27+02:00 List-Id: "Dmitry A. Kazakov" writes: > On Fri, 27 Apr 2007 13:43:58 +0200, Markus E Leypold wrote: > >> "Dmitry A. Kazakov" writes: >> >>> On Thu, 26 Apr 2007 22:52:58 +0100, Simon Wright wrote: >>> >>>> "Dmitry A. Kazakov" writes: >>>> >>>>> You cannot iterate a relational table, because there is no order >>>>> defined on it. >>>> >>>> Why would that stop me iterating over all the rows? >>> >>> Because iterating presumes following an order. If there is no *any* order, >>> which one would you follow? >> >> None. Iteration gives the values in a certain sequence, > > "Sequence" is defined as an ordered [and countable] set. So what? Both, 1,2,3 aand 3,1,2 are possible sequences suitable for iterating over the set "all positive numbers below 4". One even needn't to get the same sequence on every iteration which somewhat disqualifies the idea that the set would have to be ordered so that I could iterate over it. Your implication was, that is impossible to "iterate" over the components/elements of structures/compounds which are not ordered. Admittedly the implementation is introducing an ad hoc order at the moment and for the moment the iteration takes place, but actually I don't care and a massively parallel machine might even choose to perform operations on single elements in parallel. But your point was that it is __impossible__ to iterate over such "unordered" structures, which is -- in my eyes -- patent nonsense. Every actual sequence of iteration would suffice and I think that the sentence "iterate over the set ..." could be well applied in this case under every useful meaning (and it can even be defined formally). But of course YMMV: People like me who do not think that every real programs are trivial, might not grasp your logic completely and not achieve your precision of definition. >>> It is clear that we could enumerate anything on >>> a real computer, but that would be same as Unchecked_Conversion, it would >>> break the abstraction. >> >> So I'm having an unchecked operation if I enumerate elements of a set >> (sets are unordered). How embarrasing. > > Yes, because that set is a representation [model] of some other [domain > space] set which could be fundamentally unordered and/or uncountable. As an Uncountable is another issue. You're ditching the original issue again (how familiar this has become to me ...). You said "one cannot iterate over realtional tables, because they are unordered". Realtional tables are not uncountable, so stick to the issue at hand, Dmitry. > After interating reals we could proceed to complex numbers... Which has nothing at all to do with relational tables. I'd be really indebted to you, if you stuck to the topic you introduced (can one iterate over relational tables) and didn't give in to the brainstorm of completely unrelated fragments from mathematics and computer science that seems to afflict you every time one starts to discuss with you topics from computer science you yourself introduced. BTW: Your best way out of the corner into which you painted yourself again might be to define "relational tables" as tables with an uncountable number of tuples/rows -- in quite the style in which you defined "trivial program". Regards -- Markus