Comment by ahtihn
16 days ago
That seems like a better outcome than continuing when an error happened while thinking everything succeeded?
16 days ago
That seems like a better outcome than continuing when an error happened while thinking everything succeeded?
Yes, but that's not a dichotomy. Languages like Java have function declare what exceptions they throw, and the caller must either catch it or also declare that it throws it. Gets cumbersome quickly, but I believe it's for the best to encode exceptions at the type system.