From: Matthew Heaney <matthew_heaney@acm.org>
Subject: Re: Question for the folks who designed Ada95
Date: 1999/04/30
Date: 1999-04-30T00:00:00+00:00 [thread overview]
Message-ID: <m3u2tyr6fs.fsf@mheaney.ni.net> (raw)
In-Reply-To: slrn7igsml.25e.aidan@skinner.demon.co.uk
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 668 bytes --]
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
next prev parent reply other threads:[~1999-04-30 0:00 UTC|newest]
Thread overview: 88+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-04-26 0:00 Question for the folks who designed Ada95 Corey Ashford
1999-04-27 0:00 ` Matthew Heaney
1999-04-27 0:00 ` Matthew Heaney
1999-04-27 0:00 ` Corey Ashford
1999-04-28 0:00 ` Robert A Duff
1999-04-28 0:00 ` Keith Thompson
1999-04-29 0:00 ` Robert A Duff
1999-04-28 0:00 ` Marin David Condic
1999-04-27 0:00 ` Robert Dewar
1999-04-27 0:00 ` Tarjei Tj�stheim Jensen
1999-04-27 0:00 ` bill
1999-04-27 0:00 ` dennison
1999-04-27 0:00 ` Robert Dewar
1999-04-29 0:00 ` Robert A Duff
1999-04-27 0:00 ` Robert Dewar
1999-04-27 0:00 ` Al Christians
1999-04-27 0:00 ` Larry Kilgallen
1999-04-27 0:00 ` Al Christians
1999-04-28 0:00 ` Robert A Duff
1999-04-28 0:00 ` Robert Dewar
1999-04-29 0:00 ` Matthew Heaney
1999-04-29 0:00 ` Robert Dewar
1999-04-29 0:00 ` Jean-Pierre Rosen
1999-04-27 0:00 ` Robert Dewar
1999-04-28 0:00 ` Corey Ashford
1999-04-28 0:00 ` Robert Dewar
1999-04-28 0:00 ` Robert A Duff
1999-04-28 0:00 ` Robert Dewar
1999-04-29 0:00 ` Robert A Duff
1999-04-29 0:00 ` Corey Ashford
1999-04-29 0:00 ` Robert Dewar
1999-04-29 0:00 ` Fraser Wilson
1999-04-29 0:00 ` Tucker Taft
1999-04-29 0:00 ` Mark A Biggar
1999-04-30 0:00 ` Tucker Taft
1999-04-29 0:00 ` Marin David Condic
1999-04-30 0:00 ` David Brown
1999-04-29 0:00 ` Geert Bosch
1999-04-29 0:00 ` Corey Ashford
1999-04-27 0:00 ` David Starner
1999-04-27 0:00 ` Robert Dewar
1999-04-27 0:00 ` David Starner
1999-04-28 0:00 ` Samuel Mize
1999-04-28 0:00 ` Robert Dewar
1999-04-28 0:00 ` Tarjei Tj�stheim Jensen
1999-04-28 0:00 ` Robert A Duff
1999-04-28 0:00 ` Robert Dewar
1999-04-28 0:00 ` Robert A Duff
1999-04-29 0:00 ` Tarjei Tj�stheim Jensen
1999-04-29 0:00 ` Bill Ghrist
1999-04-28 0:00 ` dennison
1999-04-28 0:00 ` Robert Dewar
1999-04-28 0:00 ` Robert A Duff
1999-04-28 0:00 ` Brian Hanson
1999-04-28 0:00 ` bill
1999-04-29 0:00 ` Robert S. White
1999-04-29 0:00 ` Robert Dewar
1999-04-30 0:00 ` Robert S. White
1999-04-30 0:00 ` dennison
1999-04-29 0:00 ` Robert Dewar
1999-04-30 0:00 ` Robert S. White
1999-04-29 0:00 ` Robert Dewar
1999-04-28 0:00 ` Pat Rogers
1999-04-29 0:00 ` Robert Dewar
1999-04-29 0:00 ` dennison
1999-04-29 0:00 ` Pat Rogers
1999-04-30 0:00 ` Robert Dewar
1999-04-28 0:00 ` Larry Kilgallen
1999-04-29 0:00 ` Question for the folks who designed Ad David Kristola
1999-04-29 0:00 ` Paul Duquennoy
1999-04-27 0:00 ` Question for the folks who designed Ada95 Larry Kilgallen
1999-04-29 0:00 ` Aidan Skinner
1999-04-30 0:00 ` Matthew Heaney [this message]
1999-04-27 0:00 ` Corey Ashford
1999-04-27 0:00 ` Samuel Mize
1999-04-27 0:00 ` Samuel Mize
1999-04-27 0:00 ` Robert Dewar
1999-04-28 0:00 ` Samuel Mize
1999-04-28 0:00 ` Samuel Mize
1999-04-28 0:00 ` Corey Ashford
1999-04-28 0:00 ` Robert Dewar
1999-04-29 0:00 ` Corey Ashford
1999-04-29 0:00 ` Robert Dewar
1999-04-29 0:00 ` Fraser Wilson
1999-04-29 0:00 ` Marin David Condic
1999-04-29 0:00 ` Robert Dewar
1999-04-28 0:00 ` Corey Ashford
1999-04-28 0:00 ` Corey Ashford
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox