The goal of Cartesian programming is to radically simplify the specification, programming, verification and maintenance of software systems. In Cartesian programming, every aspect of a program, including its structure, its deployment, its behavior and the data that it manipulates, may adapt to a multidimensional runtime context. This paradigm is being developed through the TransLucid programming language, in which variables are defined to vary with respect to this multidimensional context, itself an arbitrary set of (dimension, ordinate) pairs.
The third release of TransLucid, version 0.3.1, is out. It is available at the following link.
http://sourceforge.net/projects/translucid/files/TransLucid/0.3.0/tl-0.3.1.tar.bz2/downloadIt includes intensions as first-class values, and higher-order functions fully work.
The blog is cartesianprogramming.com. Check it out!
There is a Web-enabled TransLucid interpreter at translucid.web.cse.unsw.edu.au/tlweb. Try it out!
Examples of TransLucid programs can be found at translucid.web.cse.unsw.edu.au/examples.html.
The TransLucid interpreter is available on the computers of the School of Computer Science and Engineering at UNSW. Instructions for its use are at translucid.web.cse.unsw.edu.au/cseunsw.html.
The GPL-licensed source code for TransLucid is available for download from Sourceforge at sourceforget.net/projects/translucid.