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.5 required=5.0 tests=BAYES_00,INVALID_MSGID,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,c7d533acec91ae16
X-Google-Attributes: gid103376,public
From: Matthew Heaney <matthew_heaney@acm.org>
Subject: Re: Question for the folks who designed Ada95
Date: 1999/04/30
Message-ID: <m3u2tyr6fs.fsf@mheaney.ni.net>#1/1
X-Deja-AN: 472582227
References: <7g2qu4$ca4$1@usenet.rational.com>
 <7g3b5g$p92$1@nnrp1.dejanews.com> <7g4ae3$hjh2@ftp.kvaerner.com>
 <slrn7igsml.25e.aidan@skinner.demon.co.uk>
NNTP-Posting-Date: Thu, 29 Apr 1999 22:58:31 PDT
Newsgroups: comp.lang.ada
Date: 1999-04-30T00:00:00+00:00
List-Id: <comp.lang.ada>

aidan@skinner.demon.co.uk (Aidan Skinner) writes:

> On Tue, 27 Apr 1999 14:18:38 +0200, Tarjei Tj�stheim Jensen
> <tarjei.jensen@kvaerner.no> wrote: 
> 
> >Arrays as functions? Since when could you assign to a function??
> 
> Dont think of it as 
>       a(5) := b;
>      
> but as
>      a(5).all := b;
> 
> where you're not assigning to a function, but to an object via a pointer.


The Dijkstra/Gries school views an array as a function.  Instead of
assigment to one element of the array, you look at it as changing the
entire value of the function.  

The Science of Programming, by David Gries
A Discpline of Programming, by Edsger Dijkstra