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,839916f6ca3b6404 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.posted.plusnet!news.posted.plusnet.POSTED!not-for-mail NNTP-Posting-Date: Thu, 05 Mar 2009 13:55:02 -0600 Message-ID: <1O2AmTBR3CsJFw5x@plus.com> Date: Thu, 5 Mar 2009 19:53:53 +0000 From: Jack Mitchell Newsgroups: comp.lang.ada Subject: Re: not null References: <49ae93bc$0$31872$9b4e6d93@newsspool3.arcor-online.net> <761a4fb8-de91-43b3-b420-55dbc06a61e7@k9g2000prh.googlegroups.com> MIME-Version: 1.0 Content-Type: text/plain;charset=us-ascii;format=flowed User-Agent: Turnpike/6.06-U () X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-zaXws2Pkd42ZPSY1oqkVz9vshMzyiSezTbo9m1NUB4/M5UubQ0FbsS3sbfhCFc9sUtEaIR2BBPAoSJ7!rWi3ladAbrPn2u+ts266l2248XLpu2aoLpBq/Am9lCTM7nOwVbmgiOb9Slo= X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.39 Xref: g2news1.google.com comp.lang.ada:3979 Date: 2009-03-05T19:53:53+00:00 List-Id: In message , Brian Drummond writes >On Wed, 4 Mar 2009 08:09:56 -0800 (PST), Adam Beneschan > wrote: > >>On Mar 4, 6:56 am, Hyman Rosen wrote: >>> Georg Bauhaus wrote: >>> > As said to have been seen on /. >>> > another financial disaster, again caused >>> > by making references to nothing, in Algol W, >>> >http://qconlondon.com/london-2009/presentation/Null+References:+The+B... >>> >>> You are misreading the abstract. First of all, it's not >>> about some particular incident. He's talking about the >>> overall impact. Second, he's not talking about failure >>> to check for null references, he's talking about having >>> null references at all, so Ada is no better. >> >>I'm having difficulty understanding the point. You have to have the >>idea of the lack of a reference. How else would you implement a >>linked list abstraction? > >Possibly by pointing from the end back to the list head. > >It would make the "end of list" test more expensive (the head might have to be >kept in a register or passed around as another argument). I don't think >it would >be pretty, but can't see any fundamental reason why it shouldn't work. > >- Brian The other way to avoid needing null references is to point back not to the start of the list, but to your self. -- Jack Mi_Remove_tchell