Cat programming language 0.6

Statically-typed stack-based languages are few and far in between. In fact the only two I know of are:

• StrongForth - based on Forth
• Cat - based on Joy, and not really fully statically typed yet

A new version of Cat was released recently. It would be interesting to see these concepts ported to Factor in the form of a soft type checker, along the lines of MZScheme's MzFlow. Factor's stack effect checker is already most of the way there, and non-core libraries in contrib can extend it in various ways.