Last released Sep 5, 2026
The language where you can trust code you didn't write - signatures declare types, effects, and machine-checked promises.