Improve exception_handling structure to allow for 'return' based exception handling.
Expected Behavior
The exeception handling structure is useful for all kinds of exception handling.
Actual Behavior
Exception handling as it currently is implemeneted is only useful for 'try…catch' style exception handling. If you try to implement the structures that use a 'return based' exeption handling like Rust or Haskell none of the available concepts apply.
Steps to Reproduce the Problem
- Try to write up the
exception_handlingstructure for one of the mentioned languages. - None of the concepts apply.
Additional Info
Ideal would be to rewrite the current concepts to be compatible with both 'try…catch' and 'return' based exceptions if anyone can come up with a solution. If that's not possible new concepts should be written accomodate for 'return' style exception handling.
I guess I might be unfamiliar with this style... do you have some good examples of what concepts this might include or examples in particular languages (since I see references to Rust and Haskell here)?