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,5d4ade2fd8fd67c6 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!news.glorb.com!feeder.erje.net!xlned.com!feeder3.xlned.com!feeder.news-service.com!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Legit Warnings or not Date: Sat, 23 Jul 2011 11:24:39 +0200 Organization: cbb software GmbH Message-ID: References: <531193e0-3305-4292-9ed8-0176226c1d00@x12g2000yql.googlegroups.com> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: ILHyZQcch+AFigDCJ5I8TA.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: g2news2.google.com comp.lang.ada:21288 Date: 2011-07-23T11:24:39+02:00 List-Id: On Fri, 22 Jul 2011 19:42:00 -0500, Randy Brukardt wrote: > My point being that hidden pointers are extremely common in the > implementation of modern programming languages, and certainly are common in > Ada implementations. Yes, but you cannot hide all pointers. There exist infinitely recursive objects like trees and graphs. They cannot be described without explicit pointers. So the question is not references or no references. It is rather about where to draw the line behind which referential semantics must be exposed (e.g. properly typed). Many feel that non-contiguous representations are behind the line. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de