miniblog.

Language design question: what type should `while True {}` have? Bottom: It doesn't contain any `break` statements. Unit: Treat loops with/without `break` consistently. I already have lints that warn on unreachable code after diverging loops, so the Unit case feels surprising.

After seeing yet another YAML dialect for controlling systems, I think we need a hierarchy of YAML dialect expressiveness. (1) Has its own variable binding system. (2) Supports if statements. (3) Supports loops. (4) Supports function definition. 2 seems to be the most common, but I've seen all of 1-3. Does level 4 exist in the wild yet?

After seeing yet another YAML dialect for controlling systems, I think we need a hierarchy of YAML dialect expressiveness. (1) Has its own variable binding system. (2) Supports if statements. (3) Supports loops. (4) Supports function definition.