Articles & announcements
Releases written as prose rather than a list of commits, and technical pieces about one thing at a time. Everything here is dated and stays put — a note from a year ago describes the language as it was then.
- Effects in Hale
A function can declare what it is allowed to reach, and the compiler proves the claim over the entire call graph. Effect classes, quantitative budgets, per-phase contracts, and causal tracking across the bus.