Google Groups Home Help | Sign in
Message from discussion Cat 0.14 Release
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
Christopher Diggins  
View profile
 More options May 22 2007, 4:08 am
From: "Christopher Diggins" <cdigg...@gmail.com>
Date: Tue, 22 May 2007 01:08:33 -0700
Local: Tues, May 22 2007 4:08 am
Subject: Cat 0.14 Release
I've just released version 0.14.0 of Cat. This version has several new
features since version 0.12  (version 0.13 wasn't never officially
announced) .

Major New Features:
- There is now a macro rewriting system (
http://code.google.com/p/cat-language/wiki/Macros ) called MetaCat
based on Manfred von Thun's paper "A Rewriting System for Joy". This
system can be used for optimization and to express the semantics of
the rest of the Cat language.
- There is a CIL compiler (
http://code.google.com/p/cat-language/wiki/Compilation )
- The type checker and type inference algorithm now works for most
simple expressions with non-recursive types (type_of and #t)
- New optimization tools include a sub-expression evaluator (
http://code.google.com/p/cat-language/wiki/PartialEvaluation )  and
inline function expansion (
http://code.google.com/p/cat-language/wiki/InlineExpansion )

Minor changes:
- qv is now quote, and eval is now apply.
- the help meta-commands (#help and #h) is now more descriptive

Documentation:
There have been significant changes to the online documentation of the
primitives list ( http://www.cat-language.com/primitives.html ), now
there are nearly 250 documented primitives. The specification has also
been updated ( http://www.cat-language.com/manual.html ).

I'd love to hear your comments, suggestions or request.

Christopher Diggins
http://www.cat-language.com


    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2008 Google