comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Programmer defined arrays
Date: Mon, 6 Aug 2012 16:55:55 +0200
Date: 2012-08-06T16:55:55+02:00	[thread overview]
Message-ID: <1wtkxcynwwbow.ovthmir96tem.dlg@40tude.net> (raw)
In-Reply-To: 501fd4a7$0$9524$9b4e6d93@newsspool1.arcor-online.net

On Mon, 06 Aug 2012 16:28:59 +0200, 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

It is a too simplified view. Array is an interface of which the mapping is
only one of many operations.

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

We have these means:

   overriding function ...

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de



  reply	other threads:[~2012-08-13  9:01 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 [this message]
2012-08-06 17:26 ` Jacob Sparre Andersen
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