Cat News
My paper about the Cat type system was rejected from ICFP. The reviewers were encouraging however. Overall consensus seems to be that I am going in an interesting direction but I need more rigour. Going back to school to pursue a Master’s degree in Computer Science in September should be a good step in this direction.
There is still work progressing on the Cat implementation in Omega by Gabor Greif.
I’m trying to fix some bugs in the interpreter’s Cat type inference algorithm.
Colin Hirsch is developing a typed extension to Cat called Mog. This is being discussed at length on the Cat language discussion group.
Doug Coleman has expressed interest in developing a Cat to Factor translator.