anyhow

Pretty surprised not to see SNAFU [1] on that list. Very comfortable to use, kind of a mix of thiserror [2] and anyhow [3] I think. [1] https://github.com/shepmaster/snafu [2] https://github.com/dtolnay/thiserror [3] https://github.com/dtolnay/anyhow

Couple of questions, which are because of my limited knowledge. 1) The pointer provenance you're referring to, is that CHERI or the pointer provenance currently in use in macOS? 2) Reading through your post, are you talking about the same as the anyhow's error implementation? https://github.com/dtolnay/anyhow/blob/af0937ef72fbaf9784a6c...

That was a pleasure to read. Well written, nicely formatted and good links to further reading topics. The only missing piece was talking about https://github.com/dtolnay/thiserror which I would expect to be prominently featured given how prevalent it is And possibly https://github.com/dtolnay/anyhow which is arguably a simpler form of "error handling" but sometimes that's all you need—although probably not in the Finance or Space industries ;-)

Line 105-781: https://github.com/dtolnay/anyhow/blob/1.0.57/src/ensure.rs#...

Propagation without needing to use boxed trait objects can also be accomplished using `anyhow`[1]/`eyre`[2], which have nice downcasting API’s for recovering the original error type if you know what the possibilites could be. I only bring it up because they aren’t mentioned until the end of the article and only in passing but they offer really nice features for attaching context and downcasting that makes up for the pseudo-type-erasure. 1: https://github.com/dtolnay/anyhow 2: https://github.com/yaahc/eyre

You might like 'anyhow': https://github.com/dtolnay/anyhow

> The type of error objects is still a mess. Rust needs something like Python's exception type hierarchy and a consistent way to convert special error types into more general ones. I notice there's a Rust working group on error handling, again. Anyhow[1] and thiserror[2] really help here, no? 1. https://github.com/dtolnay/anyhow 2. https://github.com/dtolnay/thiserror

There is one in anyhow's README. https://github.com/dtolnay/anyhow#comparison-to-failure

To clarify for others: "anyhow" and "thiserror" are not placeholder names in that sentence. They refer to: https://github.com/dtolnay/anyhow https://github.com/dtolnay/thiserror