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.

Claude asked me a question today: was I looking for an Emacs plugin (because I was talking about elisp) or a Rust program (because I have configured Rust preferences)? I'm really impressed, it's rare to see LLMs ask follow-up questions. (I wanted Emacs in this case.)

I'm adding a += operator to my programming language, because writing `x = x + 1` is tedious. This opens the tricky design question of which operators should support this. Is += and -= sufficient, or do you expect things like >>= and **= to be available?