Why Clarity Refuses to Let You Write Loops — and Why That's the Point
Clarity bans loops, recursion, and reentrancy — and skips the compiler entirely. A look at why decidability is a deliberate engineering trade, with a guarded counter example and the limits of what it actually guarantees.