Laziness (was: Terminology) John Cowan 05 Aug 2015 16:54 UTC

Bradley Lucier scripsit:

> So how about “eager-array”?  Eager’s the opposite of lazy (there
> are no lazy arrays in this proposal), and it could indicate that the
> values that the getter returns are pre-computed and accessed with a
> simple memory reference.

Well, the general arrays in this proposal may be lazy, in the sense that
the getter may compute the value for a given index tuple only when asked
for it, and indeed may change it arbitrarily at any time.

I wanted to address the question of the laziness of procedures.  I am
neutral on this point (except as addressed in something I will get to in a
later post), but it seems to me that there needs to be an operation that,
given an array constructed by a sequence of array procedures, produces a
realized array.  The natural name for this would be array-copy, I think;
it would take an arbitrary array and produce a corresponding fixed-array.
The utility of this would be to allow array B to be created from array A
by array operations, and then copied so that A can become garbage.

That suggests realized-array as a possible name for fixed-arrays.

John Cowan
Income tax, if I may be pardoned for saying so, is a tax on income.
                --Lord Macnaghten (1901)