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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e382b50ddc696050 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-12-07 14:54:09 PST Newsgroups: comp.lang.ada Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newspeer.radix.net!uunet!ash.uu.net!xyzzy!nntp From: Jeffrey Carter Subject: Re: Basic Properties of Lists X-Nntp-Posting-Host: e246420.msc.az.boeing.com Content-Type: text/plain; charset=us-ascii Message-ID: <3C114702.98662A90@boeing.com> Sender: nntp@news.boeing.com (Boeing NNTP News Access) Content-Transfer-Encoding: 7bit Organization: The Boeing Company X-Accept-Language: en References: <3C0DB9D0.7184868A@acm.org> <3C0EB851.77E7172A@boeing.com> <3C0FAF78.6F006DF7@boeing.com> <3C110606.A37E9D10@boeing.com> <8%8Q7.53294$xS6.88020@www.newsranger.com> Mime-Version: 1.0 Date: Fri, 7 Dec 2001 22:47:30 GMT X-Mailer: Mozilla 4.73 [en]C-CCK-MCD Boeing Kit (WinNT; U) Xref: archiver1.google.com comp.lang.ada:17618 Date: 2001-12-07T22:47:30+00:00 List-Id: Ted Dennison wrote: > > In article <3C110606.A37E9D10@boeing.com>, Jeffrey Carter says... > > >Every data structures text I've seen describes the abstract concept of a > >list as an ordered sequence of values with one value considered the > >first value, another the next value, and so on to the last value. I > > I'd agree with the first part, but not with the second, at least not for a > general bidirectional list like we have. > > I know some texts say "linked-list" when they mean "singly-linked-list". Also, > some authors may not be as careful about using confusing terminology like > "first" and "last" for ends like we are being. Also, sometimes people come into > reading with a preconcieved idea about things, and end up not comming away with > the precise concept that the author intended. And sometimes authors are just > plain wrong (it happens). This is not something that depends on an implementation; it is a property of the abstraction. > > Anyway, I'm not sure where you got this impression. But I can assure you that I > have been "classicly trained" in Computer Science (BS and MS), have had to read > many such texts for no less than 5 different courses that covered this kind of > material, and did not come away with that impression. Well, I just found a coworker's _Software Components with Ada_, and Booch also has this as a property of the abstract concept of a list. I'm not talking about his implementation, but his description of the abstraction. > > >nor have I found any online. [However, see pp 70 and 72 of file > >08Pointers.ppt available at > > > >http://cs.calvin.edu/books/c++/ds/1e/NewPPSlides2/ > > I did take a look at that. He does indeed use the unfortunate labels "First" and > "Last", which seem to be causing you so much trouble. It appears from p 72 that the STL also uses this terminology. They're not causing me any trouble. I thought they were causing you trouble. If we can't agree on the basic properties of lists we'll never get anywhere. Perhaps we need an appeal to authority here. Who do you trust? Feldman wrote a text on data structures in Ada, and is known to sometimes comment on things here or in the Team-Ada list. Can we agree to appeal to him and abide by his expert opinion? -- Jeffrey Carter