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,70414f56d810c10c X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Received: by 10.68.7.66 with SMTP id h2mr2551225pba.6.1316537321826; Tue, 20 Sep 2011 09:48:41 -0700 (PDT) Path: lh7ni1234pbb.0!nntp.google.com!news1.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nx01.iad01.newshosting.com!newshosting.com!news2.euro.net!feeder.news-service.com!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: discriminant questions Date: Tue, 20 Sep 2011 18:48:41 +0200 Organization: cbb software GmbH Message-ID: 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> <34d856bd-19a3-4bbf-b9d8-c0f100000ef4@k7g2000vbd.googlegroups.com> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: QkM8X08yLcRV3Mm08jNzCQ.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 Xref: news1.google.com comp.lang.ada:18052 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit Date: 2011-09-20T18:48:41+02:00 List-Id: On Tue, 20 Sep 2011 08:45:31 -0700 (PDT), Maciej Sobczak wrote: > On Sep 20, 9:33�am, "Dmitry A. Kazakov" > wrote: > >>> But try your idea with linked lists. >> >> Linked list is not a container, > > We might be using different definitions, then. "an object used for or capable of holding, esp for transport or storage, such as a carton, box, etc." Linked list is a data structure which may serve as an implementation of a container. But the list itself is nether an object, nor is capable to transport or store anything, just common sense. As always, reference manuals are free to disagree with it. >> 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). Yes, that is why forcing referential semantics is bad. >>> 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. That is why I don't care about iterators as they spoil interface with identity. >> Iterator is a pointer to the container and to an >> element in it, too bad. > > You didn't show that it is bad. I don't need to, some people consider pointers harmful, some enjoy them. That is out of the scope of this discussions. Assuming that pointers are bad, so are the iterators. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de