miniblog.

I regularly see the phrase "all Xs are Ys, but not all Ys are Xs" in teaching material. Even material for children! I have to re-read it every time. I very much prefer "Y is a more general category than X" or "X is a subset of Y". Do people find this phrasing helpful, or is it poor pedagogy?

Go has an elegant approach to defining example functions, which are shown in docs as `main()` with the output: https://go.dev/blog/examples

@tristanC That's an option! There's often cases where you know what the user wanted though, so you can provide a sensible AST that the toolchain can handle. For example, a malformed string literal can still be parsed a string so type checking etc can be helpful.