frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Stack Error – ergonomic error handling for Rust

https://github.com/gmcgoldr/stackerror
27•garrinm•10mo 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•10mo 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•10mo 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•10mo ago
I still prefer the Anyhow solution, but I like the approach here.
IshKebab•10mo ago
Isn't this strictly superior to Anyhow? What do you like more about Anyhow?
rhabarba•10mo 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•10mo 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•10mo ago
Might as well be my limited understanding from what I can read behind the link, to be fair.
garrinm•10mo 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•10mo 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•10mo 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•10mo 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•10mo 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•10mo 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

Canada's bill C-22 mandates mass metadata surveillance of Canadians

https://www.michaelgeist.ca/2026/03/a-tale-of-two-bills-lawful-access-returns-with-changes-to-war...
507•opengrass•7h ago•139 comments

What is agentic engineering?

https://simonwillison.net/guides/agentic-engineering-patterns/what-is-agentic-engineering/
98•lumpa•3h ago•57 comments

Chrome DevTools MCP (2025)

https://developer.chrome.com/blog/chrome-devtools-mcp-debug-your-browser-session
405•xnx•9h ago•181 comments

The 49MB web page

https://thatshubham.com/blog/news-audit
387•kermatt•9h ago•196 comments

Electric motor scaling laws and inertia in robot actuators

https://robot-daycare.com/posts/actuation_series_1/
16•o4c•3d ago•1 comments

LLM Architecture Gallery

https://sebastianraschka.com/llm-architecture-gallery/
304•tzury•12h ago•22 comments

LLMs can be exhausting

https://tomjohnell.com/llms-can-be-absolutely-exhausting/
134•tjohnell•7h ago•104 comments

The Linux Programming Interface as a university course text

https://man7.org/tlpi/academic/index.html
59•teleforce•5h ago•4 comments

SpiceCrypt: A Python library for decrypting LTspice encrypted model files

https://github.com/jtsylve/spice-crypt
13•luu•21h ago•1 comments

Separating the Wayland compositor and window manager

https://isaacfreund.com/blog/river-window-management/
251•dpassens•13h ago•120 comments

//go:fix inline and the source-level inliner

https://go.dev/blog/inliner
124•commotionfever•4d ago•50 comments

Stop Sloppypasta

https://stopsloppypasta.ai/
187•namnnumbr•11h ago•98 comments

What Every Computer Scientist Should Know About FP Arithmetic (1991) [pdf]

https://www.itu.dk/~sestoft/bachelor/IEEE754_article.pdf
17•jbarrow•4d ago•2 comments

What makes Intel Optane stand out (2023)

https://blog.zuthof.nl/2023/06/02/what-makes-intel-optane-stand-out/
192•walterbell•13h ago•130 comments

How I write software with LLMs

https://www.stavros.io/posts/how-i-write-software-with-llms/
48•indigodaddy•3h ago•6 comments

Glassworm is back: A new wave of invisible Unicode attacks hits repositories

https://www.aikido.dev/blog/glassworm-returns-unicode-attack-github-npm-vscode
240•robinhouston•15h ago•150 comments

Federal Right to Privacy Act – Draft legislation

https://righttoprivacyact.github.io
45•pilingual•2h ago•23 comments

Quillx is an open standard for disclosing AI involvement in software projects

https://github.com/QAInsights/AIx
11•qainsights•3h ago•9 comments

Bandit: A 32bit baremetal computer that runs Color Forth [video]

https://www.youtube.com/watch?v=HK0uAKkt0AE
39•surprisetalk•3d ago•2 comments

The emergence of print-on-demand Amazon paperback books

https://www.alexerhardt.com/en/enshittification-amazon-paperback-books/
116•aerhardt•19h ago•80 comments

Cannabinoids remove plaque-forming Alzheimer's proteins from brain cells (2016)

https://www.salk.edu/news-release/cannabinoids-remove-plaque-forming-alzheimers-proteins-from-bra...
85•anjel•4h ago•51 comments

Learning athletic humanoid tennis skills from imperfect human motion data

https://zzk273.github.io/LATENT/
135•danielmorozoff•13h ago•27 comments

Bus travel from Lima to Rio de Janeiro

https://kenschutte.com/lima-to-rio-by-bus/
139•ks2048•4d ago•54 comments

A Visual Introduction to Machine Learning (2015)

https://r2d3.us/visual-intro-to-machine-learning-part-1/
336•vismit2000•18h ago•29 comments

An experiment to use GitHub Actions as a control plane for a PaaS

https://towlion.github.io
13•baijum•4h ago•4 comments

Nasdaq's Shame

https://keubiko.substack.com/p/nasdaqs-shame
237•imichael•6h ago•79 comments

A Plain Anabaptist Story: The Hutterites

https://ulmer457718.substack.com/p/a-plain-anabaptist-story-the-hutterites
32•gaplong•3d ago•3 comments

A new Bigfoot documentary helps explain our conspiracy-minded era

https://www.msn.com/en-us/news/us/a-new-bigfoot-documentary-helps-explain-our-conspiracy-minded-e...
57•zdw•6h ago•42 comments

In Memoriam: John W. Addison, my PhD advisor

https://billwadge.com/2026/03/15/in-memoriam-john-w-addison-jr-my-phd-advisor/
108•herodotus•13h ago•4 comments

Type systems are leaky abstractions: the case of Map.take!/2

https://dashbit.co/blog/type-systems-are-leaky-abstractions-map-take
38•tosh•4d ago•19 comments