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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,bc1361a952ec75ca
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-15 05:49:21 PST
Path: archiver1.google.com!news2.google.com!postnews1.google.com!not-for-mail
From: hfrumblefoot@yahoo.com (Hambut)
Newsgroups: comp.lang.ada
Subject: Re: Ada and pointers
Date: 15 Aug 2001 05:49:21 -0700
Organization: http://groups.google.com/
Message-ID: <fb75c450.0108150449.11fe4c74@posting.google.com>
References: <mailman.997686383.3943.comp.lang.ada@ada.eu.org>
 <1ope7.5943$6R6.582900@news1.cableinet.net>
NNTP-Posting-Host: 194.131.227.2
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 997879761 24189 127.0.0.1 (15 Aug 2001 12:49:21
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 15 Aug 2001 12:49:21 GMT
Xref: archiver1.google.com comp.lang.ada:11945
Date: 2001-08-15T12:49:21+00:00
List-Id: <comp.lang.ada>

Tony Gair <tony@blueyonder.co.uk> wrote in message news:<1ope7.5943$6R6.582900@news1.cableinet.net>...

<snip>

> Incidently I heard a statement by a colleague ten years ago saying pointers 
> are not actually necessary in any construction of code no-matter the 
> purpose because it had been mathematically proven so". A very strong 
> statement.... has anyone heard of this or was it hot air,
> 

Seems a bit too strong.  It strikes me that explicitly getting rid of
pointers (or access types) would just move the problems elsewhere..
you'd still have all the nasty keeping track of references issues,
they'd just be transposed to, say, an array construct.