Some things I am doing
Here are some of the things I have been up to:
- Looking at using Cat as a replacement for the SECD machine to express operational semantics of Heron (see http://lambda-the-ultimate.org/node/2787)
- Developing the Heron to Cat interpreter (sorry no demos yet). This requires the introduction of local definitions in Cat to emulate labels and gotos.
- Figuring out how a simple transform for Cat code so that a value can be passed from function to function on the top of the stack.
- Trying to figure out how to fix the type system to allow proper handling of nested forall polymorphism without annotations. System-I looks promising for this task, but it is very complex. There has got to be a better system. I am seriously considering embedding the full Lambda Calculus, or possibly even Cat itself, directly in the type-system and saying sayanora to decidability.
- Wondering why my recent blog post on Composition vs Inheritance received such a lukewarm reception on Reddit. It seems to me that interface forwarding (or delegation as I called it) is an incredibly important feature, but no one cares.