This thread about the Ariane 5 crash and Ada and error handling is probably, no wait, definitely, more interesting than OP. There's a few different ways to look at things. Eliminating errors and what happens when they still happen is a tough challenge.
https://news.ycombinator.com/item?id=20931242
one honk maybe more