Coding 2023-09-28
My phone and my NAS conspired to delete a file I was working on, and the latest backup was missing stuff from yesterday, so I had to rewrite that section. A little annoying, but whatever.
Anyway, let's take a look at how to put together a syntax... Transcribing stuff from the OCaml reference, and... Hold up... What's a "polymorphic variant" for?
...
OCaml has type unions.
...
Why am I surprised?
Okay, before I do anything else here, I need to work out what I think this would look like in Impliciula.
...
It seems to me like I can either keep the lack of explicit declarations, but require a new sigil (and I'm now thinking about whether it's possible to avoid the sigil that I'm already using), or avoid a new sigil, but need some kind of special type declaration form.
I'm going to need to think about this more, to see if I want to do anything besides "not implement this". But for now, I'm tired.
Good night.