The Psi calculus is a calculus of array manipulation,
analogous to the lambda calculus and functions.  I
think it should be considered as a theoretical basis
for srfi-25.

There aren't many good online references on the
subject.  The best I've found is:

http://www.informatik.uni-kiel.de/~sacbase/

(e.g.
http://www.informatik.uni-kiel.de/~sacbase/array.html)

The implications for srfi-25 are fairly minor - it
would basically require adding a few more primitive
operations to the library.  The imperative procedure
array-set! would then be redundant and it will be
possible to do a lot of optimisations on array code
(see, e.g. the SAC papers).

The canonical reference to the psi calculus is L. M.
Restifo Mullin: A Mathematics of Arrays. PhD thesis,
Syracuse University, 1988.  Unfortunately I can't find
this online. :(

Noel

__________________________________________________
Do You Yahoo!?
Find the one for you at Yahoo! Personals
http://personals.yahoo.com