Cat Programming Language version 1.0 beta 4
Cat version 1.0 beta 4 was just released, download available here. New features inlude:
- static type checking of all primitives
- fixed type inference of “quote” function
- reintroduced “self” types to indicate a function accepting itself as an argument (e.g. define m { dup apply }, m : (’A (’A self -> ‘B) -> ‘B))
- added define symbol (/d:NOGRAPHICS) to remove graphics code in specific builds. This should allow Cat to work properly using Mono on Mac, see “mono_cat_no_graphics.exe” and “cat_mono_no_graphics.bat” for build options
Other recent news includes:
- graphics capabilities added to the online Cat interpreter
- Cat article appears on Doctor Dobbs Journal
About Cat
Cat is a stack-based programming language that is distinct in that it allows functions to be constructed and pushed on to the stack in a type-safe manner. Cat has potential applications in computer science education, and as an intermediate language for optimization, verificatino, program transformation, and automated translation.