comp.lang.ada
 help / color / mirror / Atom feed
From: Jacob Sparre Andersen <sparre@nbi.dk>
Subject: Re: Programmer defined arrays
Date: Mon, 06 Aug 2012 19:26:25 +0200
Date: 2012-08-06T19:26:25+02:00	[thread overview]
Message-ID: <87mx289bjy.fsf@adaheads.sparre-andersen.dk> (raw)
In-Reply-To: 501fd4a7$0$9524$9b4e6d93@newsspool1.arcor-online.net

Georg Bauhaus wrote:

> IIUC, an array can be seen as a mapping
>
>   (Index_Type[1], ..., Index_Type[n]) -> Component_Type
>
> where n is finite.
> Similarly, a function can be seen as a mapping (*)
>
>   (Param_Type[1], ..., Param_Type[m]) -> Return_Type

In practice functions of _discrete_ arguments may be seen as _constant_
arrays.  You can not assign a value to a function, and arrays can only
be declared with discrete indexes.

> In this light, why should we be given means to express how arrays
> should be translated into instructions?

What means do we have to express how arrays should be translated into
instructions?

Greetings,

Jacob
-- 
"Very small. Go to sleep" -- monster (not drooling)



  parent reply	other threads:[~2012-08-13  9:09 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-08-06 14:28 Programmer defined arrays Georg Bauhaus
2012-08-06 14:55 ` Dmitry A. Kazakov
2012-08-06 17:26 ` Jacob Sparre Andersen [this message]
2012-08-06 19:05   ` Georg Bauhaus
2012-08-06 19:54     ` Dmitry A. Kazakov
2012-08-06 21:03       ` Georg Bauhaus
2012-08-06 21:52         ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox