Three Dollar Quill

Dammit. I was writing an entry, and then my laptop just totally conked out. The gist of it is, I was a bit unfocused today, but I've got some ideas for how to handle typing in the concatenative language. The paper I have on bidirectional typing describes it as synthesis and checking, but I want to try desiging synthesis and unification. Since I had a good time handling variable bindings with context managers in the Impliciula prototype, I want to try doing something similar with unification here. Unification introduces a context in which the equivalence holds, or it fails the high-level operation.

The main thing to do here is to make sure I've got a solid implementation of type unification, in terms of these interfaces.

Anyway, I do not want to push my luck, so I'm done for the night.

Good night.