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.
