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

*To*: srfi-25@xxxxxxxxxxxxxxxxx*Subject*: Psi Calculus*From*: Noel Welsh <noelwelsh@xxxxxxxxx>*Date*: Tue, 13 Nov 2001 06:13:56 -0800 (PST)*Delivered-to*: srfi-25@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

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

**Follow-Ups**:**Re: Psi Calculus***From:*Jussi Piitulainen

- Prev by Date:
**Re: linear -> affine and shapes are immutable** - Next by Date:
**srfi web page missing srfi-25** - Previous by thread:
**Re: linear -> affine and shapes are immutable** - Next by thread:
**Re: Psi Calculus** - Index(es):