Alternatives to exceptions for error handling

[Elronnd]

On Sunday, 22 November 2020 at 18:21:44 UTC, Paul Backus wrote:
> nodiscard
> I  have a DIP in the works to address this:

A value which must be used at least once sounds very similar, at 
least conceptually, to a value which must be used exactly once; 
which is to say linear types, as implemented in @live.

It probably makes sense for the two should be integrated.