Comparing Exceptions and Errors

[kdevel]

On Sunday, 5 June 2022 at 21:08:11 UTC, Steven Schveighoffer 
wrote:
[...]
> Just FYI, this is a *different discussion* from whether Errors 
> should be recoverable.

The wording of this "question" bothers me really. What does 
"Errors" mean here? If you mean thrown object having a (sub)type 
of `Error` the relevant question is:

    ARE `Error`s recoverable?

If they ARE recoverable then every program can written in a way 
it handles even `Error`s gracefully.

> Whether specific conditions are considered an Error or an 
> Exception is something on which I have differing opinions than 
> the language.
>
> However, I do NOT have a problem with having an 
> assert/invariant mechanism to help prove my program is correct.

I may be not a top-notch expert on this topic but IMO there is no 
facility which can perform such a proof.