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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,70414f56d810c10c X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!postnews.google.com!k7g2000vbd.googlegroups.com!not-for-mail From: Maciej Sobczak Newsgroups: comp.lang.ada Subject: Re: discriminant questions Date: Tue, 20 Sep 2011 08:45:31 -0700 (PDT) Organization: http://groups.google.com Message-ID: <34d856bd-19a3-4bbf-b9d8-c0f100000ef4@k7g2000vbd.googlegroups.com> References: <9f37b726-d80b-4d24-bf3f-28a14255f7fd@s20g2000yql.googlegroups.com> <86015926-d652-4265-aedd-413312d399f9@dq7g2000vbb.googlegroups.com> <0d272f62-67d0-4905-972c-8a7e912c5531@en1g2000vbb.googlegroups.com> <148cxoyabima2.16mz6xwdph2hj.dlg@40tude.net> <01a1374f-59ab-40be-9e39-0640cb2a513d@n35g2000yqf.googlegroups.com> <1fp2o673mu9az$.d9loz1zbcl0d.dlg@40tude.net> <14tiipigyejtc$.hyp7e82egqwq$.dlg@40tude.net> NNTP-Posting-Host: 83.3.40.82 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1316533614 26628 127.0.0.1 (20 Sep 2011 15:46:54 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 20 Sep 2011 15:46:54 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: k7g2000vbd.googlegroups.com; posting-host=83.3.40.82; posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-Header-Order: HUALESNKRC X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US; rv:1.9.2.13) Gecko/20101203 Firefox/3.6.13,gzip(gfe) Xref: g2news2.google.com comp.lang.ada:21994 Date: 2011-09-20T08:45:31-07:00 List-Id: On Sep 20, 9:33=A0am, "Dmitry A. Kazakov" wrote: > > But try your idea with linked lists. > > Linked list is not a container, We might be using different definitions, then. http://www.adaic.org/resources/add_content/standards/05aarm/html/AA-A-18-3.= html The above page literally uses the term "list container" already in the first paragraph. I can quote specs for several other programming languages and their libraries if necessary. > We have to distinguish the interfaces and implementations, BTW. We have to take into account the physicality of computations, unless some completely different model is invented (and delivered). That's why it makes sense to talk about the interface of list container. It might be different than the interface of some other container (that is, of some container with a different access model). > > I'm not interested in impractical examples. > > It is a very practical example, because the same problem arise with all > sorts of caching techniques for containers handled externally, That's why they will use other interfaces. Or will fail miserably. (again: you cannot ignore the physicality of computations) > That is why iterators fail. You didn't show it. > > What we are interested in is [...] > > the ability of some entity (the iterator) to represent - > > and be dereferenced! - a value within the container. > > See, iterator has pointer semantics, count me out. See, iterator allows me to do things that are impossible otherwise, count me in. > Iterator is a pointer to the container and to an > element in it, too bad. You didn't show that it is bad. -- Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com