Three Dollar Quill

I mostly just thought about stuff for Conlang Year, in an effort not to rush things. So, what I was doing just now was fixing up the names in the syntax nodes for Impliciula, then I deliberately tanked my coverage numbers (at least to some degree) by implementing a draft of type operator support, even though I don't feel like writing the tests yet. I do not feel 100% confident that I got everything right, but it must be pretty close.

I need to get to bed soon, but I want to dash out some quick thoughts first. I was mostly working with existential types today, and in order to test them, I'm going to need record types. I'm going to need to check over some of the articles I'm basing this system off of, to see if there are any subtleties I should be aware of. I need to check my sources to see if I have the string representations right. Order of testing is, shore up any coverage not related to existentials or operators, implement record types and anything else I decide I need, write tests for existentials, write tests (and documentation) for operators, get coverage up, then do whatever tidying-up occurs to me, and work on the next layer up, which I have written in a notebook somewhere.

Anyway, time is passing at a terrifying rate as I write this, so I'm going to stop now.

Good night.