On building more than one array at a time:
You could introduce references into the language. This would
make it possible to write code that manipulates more than one
array at a time. There may however creep up some problems
if those references were to escape the continuation passing
region of th
I wrote:
In article <[EMAIL PROTECTED]>
[EMAIL PROTECTED] writes:
Isn't the type signature you give incorrect? The parammeters
m and n must have type a (where (a,a) is the index types of
the arrays).
I think your right, but as I can't seem to get to g
In article <[EMAIL PROTECTED]> [EMAIL PROTECTED] writes:
Because if we really want sequentialization of the accesses and
reuse of storage, we can (soon) use array transformers (cps),
linear typesystems or perhaps array monads to express this at
the source level.
Will this be true if