On Sunday, 10 June 2018 at 23:59:17 UTC, Bauss wrote: > To me it would be so much more useful if you could detect code > that could possibly throw Error. Such things are usually done by formal verification systems like F*, and I suppose Ada 2012 has it to some extent too. Though I suspect it's not easy to use, less easy than rust.