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 the code. These can be addressed by the
type system, I think. I first heard about this from one of
Paul Hudaks students (can't recall his name, though) who was
working on something he called 'heap transformers' which was
essentially references + continuations.
Cheers,
Karl-Filip
------------------------------------------------------------
Make the frequent case fast, and the fast case frequent!
