Three Dollar Quill

So, getting answers about Kakoune is presumably going to happen at some point. I could try to work out the syntax highlighting, but I ended up thinking about Impliciula.

What I think makes sense for Impliciula is to translate my various ideas so far into a specification of the abstract syntax tree. This has the advantage of being mostly isolated from the gambles I'm taking with the surface syntax. This should end up being a relatively streamlined expression syntax, with some somewhat baroque statement syntax.

...

I was trying to kind of wing it and put together something equivalent to (a subset of) what OCaml can express from memory and vibes, and having tried that, I would recommend... not doing that. When I have the energy and focus handy, I need to basically try to straight translate bits of the syntax specifications for OCaml and Koka.

Once I have the abstract syntax types, then I can experiment with developing a basic interpreter, to answer questions such as "can I actually give Impliciula a well-defined semantics?" For now, though, I need to rest my eyes and get to bed.

Good night.