Comment by quotemstr
2 days ago
Exceptions work fine and enable a clean separation of business logic and error handling. Visibility into partially-initialized objects is a language design issue independent of exceptions. In a non-exceptional language, the corresponding access to uninitialized fields would just be bugs, not errors you can see.
Nothing in your post actually supports the idea that exceptions are "computationally hard". The CFG error edges exist however the errors are spelled
It is difficult to get to M * N * P control flow edges with O(1) result unwrapping code.
You have exactly as many edges if every fallible routine can throw and every infallible one is marked as nothrow.