Making Errors errors

[Paul Backus]

On Thursday, 28 January 2021 at 19:39:41 UTC, sighoya wrote:
> On Thursday, 28 January 2021 at 18:47:27 UTC, Max Haughton 
> wrote:
>> I often think of it in the same context as one would in formal 
>> verification i.e if this is wrong something catastrophic has 
>> happened.
>
> Catastrophic in which sense? To the whole program?
>
> As mentioned by Adam, logical errors rarely justify whole 
> program abortion. Downstream code doesn't necessarily require 
> computations to succeed on the whole line if it can deal with 
> partial results or provide alternate ways to retrieve missing 
> information.

 From now on, whenever this topic comes up, I'm just going to post 
this link:

http://joeduffyblog.com/2016/02/07/the-error-model/#bugs-arent-recoverable-errors