Three Dollar Quill

As I was thinking about other aspects of Impliciula, I realized that I've been glossing over an issue that has foundational implications: various features that I want depend on the exact type of expressions, which means that the resolution associated with those features has to happen before any type erasure. I'm not sure what options I have for satisfying that kind of design constraint in a dynamic context.

My basic suspicion is that I outright cannot support dynamic multimethod resolution without something really clever to keep the type names under control.

Anyway, I'll keep thinking about whether there's some way around that, but aside from that, I've been looking at Kakoune's built-in Git scripting, and trying to convert it to Mercurial scripting. Frustratingly, this involves getting a better understanding of Git, just so I know what some of the commands even are.

Frankly, with the vaccine side effects doing their thing, I'm a little amazed that I got as far as I did, and I'm going to wind down for now.

Good night.