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 http://www.ccil.org/~cowan xxxxxx@ccil.org
Income tax, if I may be pardoned for saying so, is a tax on income.
--Lord Macnaghten (1901)