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,839916f6ca3b6404 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: not null Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <49ae93bc$0$31872$9b4e6d93@newsspool3.arcor-online.net> <761a4fb8-de91-43b3-b420-55dbc06a61e7@k9g2000prh.googlegroups.com> Date: Wed, 4 Mar 2009 21:38:22 +0100 Message-ID: NNTP-Posting-Date: 04 Mar 2009 21:38:25 CET NNTP-Posting-Host: 2d336f02.newsspool2.arcor-online.net X-Trace: DXC=:bDUPgEQWOI2:OR3:3gaE@A9EHlD;3YcB4Fo<]lROoRA^YC2XCjHcbId8LUkWUHgaBDNcfSJ;bb[EIRnRBaCd^eTMISoSOVNPKe 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? Recursive types is not the single case where references are used. For smart pointers not null constraint is very useful. Though it is quite painful to make use of it, because of broken initialization issues. It is also useful for access discriminants etc. Granted, the latter shouldn't be access. I mean it should better be: type T (X : Limited_Foo) is ... rather than awful type T (X : not null access Limited_Foo) is ... -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de