Three Dollar Quill

I decided to switch back to Impliciula, and there's a chance that I'll switch back again soon because... one sec.

So, because I've got rough equivalents for a lot of OCaml syntax together, I went through the language extensions to see what I need to figure out how to include. There are a few definite yeses, a few things that sound important, and a few things that sound mainly like the horrifying stuff that people figured out how to do with the coding: directive in Python.

I don't understand all of the extensions, in part due to the intensely abbreviated presentation in that part of the manual, but I've got initial notes on all of the extensions, even if one extension just got notes of "Yo what the fuck".

Now, I need to put some time into reviewing Koka's syntax and shoring up my understanding.

Note to self, document an "explicit subset" of Impliciula's syntax when the time comes, and then gradually explain how to abbreviate that. That seems like it would hopefully be less mysterious than the presentation of the Koka book. Although, maybe the Koka book just feels like that to me when I'm trying to use it as "the wrong kind of documentation"? I'll think about all of that later, starting with "how should defining and handling effects look?" (One thing I'd like to keep in mind is whether it's possible to somehow describe "effects that only propagate outwards", if that makes any sense. Like, if I want to use a comparison function that logs to somewhere.)

Anyway, I'm not getting anything else done right now.

Good night.