No... we could already do that with higher-order functions. We're going backwards here, please read the previous comments, specifically from ajuc.

As stated, a higher order function gives you all of these features already. (The discriminator function I suggested would just return a bool to indicate whether or not error recovery should occuur, which is handled at the call site, in the appropriate context, with the appropriate stack).

All Condition Handling brings to the table is the ability to omit passing the callback around. All the other features were already there.

Edit: mschaef's comment confirms this.