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