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