- 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.
No comments:
Post a Comment