[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Psi Calculus

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