DEV Community

Discussion on: The Simple Guide to Programming Paradigms

fredrikbonde profile image
Fredrik Bonde

Well, you started the discussion. :-)
Frankly I see no reason to have anyone point 'proven', that's on you. Both ways have their pros and cons.
It's not like rust cannot have unhandled panics, which crashes the app as well, resulting in a stack unwind or a simple abord, depending on setup.
And apparently you can still catch a panic with catch_unwind, except it might not catch all panics, so yeah, so much for predicability.