Cat Programming Language version 0.18.2
I have just released version 0.18.2 of the Cat programming language. This is a relatively stable build.
Cat is a statically typed concatenative language, based closely on the Joy programming language. Cat includes a term rewriting optimzation system called MetaCat. The primary release of the Cat source code is written in C#, but is entirely public domain, and is cross platform compatible using Mono. The home page for Cat is at http://www.cat-language.com.
Release notes for 0.18.2:
- fixed a bug with the function inline expander
- MetaCat macros are loaded at runtime
- MetaCat rules now use “rule { … } => { … }” syntax instead of “macro …”
- MetaCat stack variables can now have types in some cases (e.g. rule { dip $B:(’a -> ‘b) $a dip } => { $a compose dip $B })
- the standard library has been extended.
- the type system is more permissive of recursive forms
- new primitive: unpush : (( -> ‘A ‘b) -> ( -> ‘A) ‘b)
- known bug: some ill-typed recursive programs are not caught by the type-checker
- known bug: some recursive programs overflow the stack during type-checking