Nirdosha: a language that treats correctness, durability, and identity as compiler problems

Every language promises safety. Nirdosha's example suite reads like an audit of that promise — each...