Coding 2023-08-10
I'm still tweaking the code samples and pondering how I want effect handling to work. I ended up with this weird imbalance where most of the code looks like OCaml, but the effect handling looks kind of like Koka, and my initial goals for the language and my thoughts on the effect handling would be better served by having it the other way around.
Part of the problem is that I was basing things off of the Koka code samples, which have heavy doses of syntactic sugar. My intuition is that I'll make something much more coherent if I focus on the subset of Koka that does stuff like use brackets instead of indentation.
There's also the somewhat "fun" aspect that I'm trying out syntax that neither language uses, which ends up necessitating entirely new forms of syntactic sugar to handle capabilities from the source languages that don't translate cleanly.
(With the ideas I'm trying to pull in, I kind of imagine NABTO coming together into some kind of negaverse Raku.)
I'm not going to do any more tonight, but I think the right way forward is to chart out the relationships between the different syntactic elements of the languages, and figure out what purposes they're serving.
Good night.