miniblog.

Bootstrapping a language can be immensely satisfying. I've added the ability to define stub types in the Garden stdlib and suddenly I don't need to special-case Int or String! They're just normal type declarations.

Watching https://youtu.be/KWB-gDVuy_I and I'm struck by how weird constructors are as an API. * They promote total functions, making it hard to do validation. * They're hard to split up, because they have special access to unfinished data. * They're like a framework: you get called.

Why do so few CLI tools use colour inside their error messages? For example, rustc uses colour well in the error display, but there's no special styling of the content in backticks. By contrast, markdown website almost always style backtick text differently from prose. E.g. `field` is not specially styled here.