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

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.

*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):