From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Programmer defined arrays
Date: Mon, 06 Aug 2012 23:03:08 +0200
Date: 2012-08-06T23:03:09+02:00 [thread overview]
Message-ID: <5020310c$0$9518$9b4e6d93@newsspool1.arcor-online.net> (raw)
In-Reply-To: <13jx05ub1u58n$.ntne8jfrs56p$.dlg@40tude.net>
On 06.08.12 21:54, Dmitry A. Kazakov wrote:
> On Mon, 06 Aug 2012 21:05:39 +0200, Georg Bauhaus wrote:
>
>> why
>> do some ask for more programmer control over the translation process
>> for arrays, via array becoming a type suitable for O-O, but function
>> not becoming an O-O type?
>
> Of course they do. But there is the rub - when function is a value of some
> type then operations of that type are functions of different kind. There is
> a potentially infinite hierarchy of such functions. So if you wanted first
> class functions you would need some second class functions to operate them.
> you would also have to take care about keeping types statically checkable
> (static typing). But if you wanted first class arrays there would be
> nothing special about them.
>
More simply, (ceterum censeo Qi wouldn't need static typing, at the
risk of non-terminating translation), I had thought of it the other
way around.
I'll need something below arrays to make true arrays from below-array
things, or, addresses, TBH, silencing the fact that these establish
arrays of indexed storage cells.
Similarly, I had thought the analog would be to ask for lower things
for operations, too, like procedures that have multiple entry points
to serve as bodies for a host of functions. Just for the sake of
an example. Compact, efficient, simple, no inlining considerations.
next prev parent reply other threads:[~2012-08-13 9:02 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
2012-08-06 19:05 ` Georg Bauhaus
2012-08-06 19:54 ` Dmitry A. Kazakov
2012-08-06 21:03 ` Georg Bauhaus [this message]
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