A preview of the new version of the Cat programming language is now
available at http://www.cat-language.com .
For those who don't know or remember, Cat is a compositional
programming language based on Joy. I am finally following through on
my promise to introduce a static type system into the language. This
version of Cat also has a rudimentary type inference engine.
The Cat source code is public domain, and is written in C#.
Have fun,
Christopher Diggins
http://www.cdiggins.com