Cat programming language 0.6
Monday, September 18, 2006
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.