This page is part of the web mail archives of SRFI 25 from before July 7th, 2015. The new archives for SRFI 25 contain all messages, not just those from before July 7th, 2015.
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