frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Stack Error – ergonomic error handling for Rust

https://github.com/gmcgoldr/stackerror
27•garrinm•1y ago
Stack Error reduces the up-front cost of designing an error handling solution for your project, so that you focus on writing great libraries and applications.

Stack Error has three goals:

1. Provide ergonomics similar to anyhow.

2. Create informative error messages that facilitate debugging.

3. Provide typed data that facilitates runtime error handling.

Comments

tevon•1y ago
This is awesome! Will give it a try in my next project.

How does it keep track of filename and line number in a compiled binary? I'm fairly new to rust libraries and this doesn't quite make sense to me. I know in JS you need a source-map for minification, how does this work for a compiled language?

fpoling•1y ago
Rust provides file!, line! and column! macros that expands into a compile-time constants that the compiler embeds then into the executable. This way no source map at runtime is necessary as the relevant errors are constructed from those constants.

Presumably StackError just uses those macros.

But for debugging a source map is still necessary and is a part of various debug formats.

rhabarba•1y ago
I still prefer the Anyhow solution, but I like the approach here.
IshKebab•1y ago
Isn't this strictly superior to Anyhow? What do you like more about Anyhow?
rhabarba•1y ago
I prefer Anyhow's non-intrusiveness: "Result" is still "Result" and all I need is a "?". I agree with Stack Error's documentation that Anyhow can't help with debugging that well, but it's "good enough" in my opinion.
IshKebab•1y ago
Result in `anyhow::Result` though. It's still a different type. Or do you literally mean you like that it is still spelt the same?

And I think you can still use `?` with this if you don't want to add any context... Not 100% sure on that though.

rhabarba•1y ago
Might as well be my limited understanding from what I can read behind the link, to be fair.
garrinm•1y ago
Anyhow still makes things easier for application development. The main drawback is that the resulting error type doesn't implement std::error::Error, so it's not suitable for library development (as pointed out in the anyhow documentation). Stack Error is a bit less ergonomic, but suitable for library development.
shepmaster•1y ago
I hope to read through your crate and examples later, but if you have a chance, I’d be curious to hear your take on how Stack Error differs from my library, SNAFU [1]!

[1]: https://docs.rs/snafu/latest/snafu/index.html

garrinm•1y ago
I played around a bit with SNAFU a couple of years ago, but I'm haven't worked deeply with the library so there might well be some features I'm not aware of.

I think SNAFU is more like a combination of anyhow and thiserror into a single crate, rather than Stack Error which leans more heavily into the "turnkey" error struct. Using the Whatever struct, you get some overlap with Stack Error features:

- Error message are co-located.

- Error type implement std::error::Error (suitable for library development).

- External errors can be wrapped and context can easily be added.

Where Stack Error differs:

- Error codes (and URIs) offer ability for runtime error handling without having to compare strings.

- Provides pseudo-stack by stacking messages.

Underlying this is an opinion I baked into Stack Error: error messages are for debugging, not for runtime error handling. Otherwise all your error strings effectively become part of your public interface since a downstream library can rely on them for error handling.

lilyball•1y ago
If the macros only exist to get file and line information, you could do the same thing by using `#[track_caller]` functions combined with `std::panic::Location` to get that same info. For example, `stack_err!` could be replaced with

  impl StackError {
      #[track_caller]
      fn new_location(msg: impl Display) -> Self {
          let loc = std::panic::Location::caller();
          Self::new(format!("{}:{} {msg}", loc.file(), loc.line()))
      }
  }
such that you call `.map_err(StackError::new_location("data is not a list of strings"))`. A macro is nice if you need to process format strings with arguments (though someone can call `StackError::new_location(format_args!(…))` if they want), but all of your examples show static strings so it's nice to avoid the error in that case.

The use of `std::panic::Location` also means instead of baking that into a format string you could also just have that be an extra field on the error, which would let you expose accessors for it, and you can then print them in your Debug/Display impls.

Speaking of, the Display impl really should not include its source. Standard handling for errors expects that an error prints just itself with Display because it's very common to recurse through sources and print those, so if Display prints the source too then you're duplicating output. Go ahead and print it on Debug though, that's nice for errors returned from `main()`.

garrinm•1y ago
Thanks for the insight, I wasn't aware of `track_caller`. I'll definitely be looking into this. I was scratching my head trying to figure out how to make file and line number usage consistent and customizable, this looks like the answer!

You're also right that this will pretty much eliminate the need for macros.

That's also a very key insight about Display vs. Debug printing. I'll be looking into that as well.

Thank you for the thoughtful reply.

DavidWilkinson•1y ago
Dei here, from the team behind Error Stack [1] (a similarly named existing, context-aware error-handling library for Rust that supports arbitrary attachments). How does Stack Error, here, compare?

[1]: https://crates.io/crates/error-stack

Erasing Existentials

https://wolfgirl.dev/blog/2026-05-20-erasing-existentials/
2•birdculture•4m ago•0 comments

Show HN: Exploring a More Pythonic AWS SDK

https://github.com/kap-sh/aws-sdk-python
1•karpetrosyan•5m ago•0 comments

AI Boom Hits Labor Market Reality Check

https://fivetakes.news/workers-are-emerging-as-the-next-big-ai-logjam
1•mmeirovich•5m ago•0 comments

Claude Guillemot: Ubisoft founder killed in plane crash

https://news.sky.com/story/claude-guillemot-ubisoft-founder-killed-in-plane-crash-13556248
1•austinallegro•6m ago•0 comments

Show HN: Scalable reversi – infinite undo available via a1 style

https://h1yapp.com/en/scripting/pwa/scalablereversi/
1•h1yapp•7m ago•0 comments

Apple Internals: Swift in the Kernel

https://blog.calif.io/p/apple-internals-swift-in-the-kernel
1•haeseong•9m ago•0 comments

Robotics Teams Are Rebuilding the Data Stack from Scratch

https://rerun.io/blog/data-layer-tax
1•Tycho87•10m ago•0 comments

I was wrong about the Midjourney ultra-sound scanner

https://twitter.com/MattZirwas/status/2068365802491834541
2•MrBuddyCasino•12m ago•0 comments

Backtest Is Lying to You

https://moai.studio/blog/posts/your-backtest-is-lying.html
3•ionwake•12m ago•0 comments

How to Build a Marketplace Startup That Solves the Chicken-and-Egg Problem

https://startupfortune.com/how-to-build-a-marketplace-startup-that-solves-the-chicken-and-egg-pro...
2•insanetech•13m ago•0 comments

Why the Cookbook Endures

https://tastecooking.com/why-the-cookbook-endures/
3•Tomte•16m ago•0 comments

Electric air taxis are stuck in the courtroom

https://www.theverge.com/column/950975/electric-air-taxis-lawsuits
3•Brajeshwar•16m ago•1 comments

Backporting bug fixes is dead, Project Valkey now sends in the bots

https://thenewstack.io/valkey-ai-backporting-agents/
2•Brajeshwar•16m ago•0 comments

Linux '95

https://www.linuxjournal.com/article/2682
1•theanonymousone•16m ago•0 comments

Vulgar Materialism

https://borretti.me/article/on-vulgar-materialism
2•Tomte•17m ago•0 comments

Show HN: Teach your kids absolute (perfect) pitch

https://github.com/paytonjjones/bsharp
1•paytonjjones•17m ago•0 comments

Printing Gaussian Splats

https://www.patreon.com/DanyBittel/posts/printing-splats-161333338
2•ilnmtlbnm•18m ago•0 comments

Show HN: TermType – a terminal typing game where words fall like Space Invaders

https://github.com/GiovanniCst/termtype
3•J_cst•18m ago•0 comments

Anthropic to Require ID Verification for Certain Capabilities Starting July 8

https://old.reddit.com/r/ClaudeAI/comments/1ubm53n/official_anthropic_to_require_identity/
26•bathory•23m ago•8 comments

Why Mizoram has shops without shopkeepers (2024)

https://timesofindia.indiatimes.com/etimes/trending/why-mizoram-has-shops-without-shopkeepers/art...
1•susam•24m ago•0 comments

Show HN: A GitHub app that suggests code fixes for conversion failures

https://rejourney.co/demo/leaks
3•mrr7337•24m ago•0 comments

Smashing the NIMBYs created modern capitalism

https://worksinprogress.co/issue/how-abolishing-the-stakeholder-state-caused-the-industrial-revol...
1•momentmaker•25m ago•0 comments

Safe SIMD in Rust, Even on the Inside – By Sergey "Shnatsel" Davidoff

https://shnatsel.medium.com/safe-simd-in-rust-even-on-the-inside-c6f1ff381828
1•rbanffy•26m ago•0 comments

Why do sports stadiums have different names for the World Cup? Here's the reason

https://www.thv11.com/article/sports/soccer/world-cup/fifa-world-cup-stadiums-different-names/507...
2•RickJWagner•28m ago•0 comments

Neosolve – SolveSpace fork with OpenCASCADE CAD kernel

https://github.com/0xSeren/neosolve
1•nakedneuron•31m ago•1 comments

Creativity in the form of archived web pages from the dawn of the internet

https://www.cameronsworld.net
2•momentmaker•32m ago•0 comments

How the social media ban could reshape how all of us use the internet

https://www.bbc.co.uk/news/articles/c1jy512r19ro
2•mmarian•33m ago•0 comments

Where the sun stood at the 2026 summer solstice

https://pilgrimapp.org/sunpath/2026-summer-solstice/
1•momentmaker•33m ago•0 comments

Solvespace Web Version

http://orthogonal.cc/solvespace/solvespace.html
1•nakedneuron•33m ago•0 comments

Developer ends Fornjot (CAD kernel) development

https://www.fornjot.app/blog/shutting-down-fornjot/
1•nakedneuron•34m ago•0 comments