Lambda the Ultimate

Microsoft's Phoenix Framework, previously available only to registered researchers, is now publicly available for download. Phoenix is a Microsoft Research project focused on code optimization and analysis, with the stated goal of designing a framework to be used as the middle- and back-end components of all future Microsoft compilers.

Individual support and access to a community forum for Phoenix is available to qualified academic faculty and researchers.

Phoenix was previously mentioned on LtU.

A prototype Cat interpreter, has just been released into the public domain, and is available for download with C# source code at http://www.cdiggins.com/cat.zip. An introduction to Cat is available at http://www.cdiggins.com/cat.html

Cat is a stack based functional language inspired by the Joy programming language Like Joy, Cat is a cross between Forth and the FP language.

Cat has no variables, no arguments, no constants, and no side-effects. Every Cat program takes a single stack as input, and returns a single stack as output. A Cat program is made up of a sequence of sub-programs. A sub-program may be either a user-defined or atomic (built-in) program. That's about it. It is very easy to implement, analyze, rewrite and optimize.