Cat version 0.9.9
There is now a new version of the Cat interpreter available for download at http://www.cat-language.com/download.html. I’ve also updated the manual.
Type annotations have been changed to resemble ML more. The new version of the interpreter however doesn’t do type checking or type inference anymore because the type system was rebuilt. Type checking will be reintroduced in version 2.0.
There are hundreds of tests now, and many of the old primitives have been moved into the standard library.
There is now also a document which discusses portability. I am trying to anticipate other people writing their own implementations, and I want to make sure that Cat programs will have some degree of portability between them.
I would welcome any comments or suggestions about features or the documentation. Cat can be a bit of brain-teaser at first, so I want to make sure that I don’t confuse people.