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 11:54:39 PST Path: archiver1.google.com!newsfeed.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 11:54:38 -0700 Organization: http://groups.google.com/ Message-ID: References: <1ope7.5943$6R6.582900@news1.cableinet.net> <9ldto7$9pg$1@nh.pace.co.uk> NNTP-Posting-Host: 62.188.150.227 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 997901679 5356 127.0.0.1 (15 Aug 2001 18:54:39 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 15 Aug 2001 18:54:39 GMT Xref: archiver1.google.com comp.lang.ada:11959 Date: 2001-08-15T18:54:39+00:00 List-Id: "Marin David Condic" wrote in message news:<9ldto7$9pg$1@nh.pace.co.uk>... > Well, the statement is true enough because after all, dynamic allocation and > the things done by pointers are really a kind of fiction. Memory is > basically one big array that you index with integers, so obviously, a > non-dynamic/non-pointer solution must exist. Anything you do with pointers > could be implemented with a one dimensional array and integer indexes - > because that's what the compiler translates it into. > Well the statement that pointers can be mimic-ed through other mechanisms is certainly true enough, and I agree with your other points but........ I was thinking about the dynamic allocation aspects - if you can't or don't want to bound the memory used then it becomes difficult to see how you could work without dynamic memory allocation (which is, admittedly, not precisely related to pointers - but they provide a popular way of getting access to dynamically allocated memory). Of course this is all fairly non-specific, but in terms of a formal mathematical proof - well (and here's a leap into the unknown coupled with thinking aloud, so feel free to flame the rest of this...) wouldn't this mean that you'd somehow have to prove that all algorithms had bounded memory use? This seems a hard thing to do (and I'm not precisely sure this would completely prove that pointers can be disregarded - for example what about alias-ing capabilities?) That said I agree that in a practical sense you can probably do without pointers, albeit with some effort and discomfort. Cheers, Hambut