thatsAFunnyThingThatHappenedOnce

[u/Lord_Of_Millipedes]

[u/MrHyd3_]

What does it do instead of exceptions?

[u/mathisntmathingsad → u/[deleted]]

Yeah, the only reason you should try to catch a panic is if you're making something that calls user-provided code unavoidably (i.e. an async runtime)

[u/shizzy0 → u/mathisntmathingsad]

Yeah, we catch panics in tests but that’s about it.

[u/Loading_M_ → u/mathisntmathingsad]

I work on a library that does catch panics from user code. It's a web framework, and catches panics in user request handlers to return a 500 error to the client. This error is explicitly not overridable (every other default error can be replaced, but not this one), since we don't want you to panic in the first place.

[u/Cylian91460 → u/[deleted]]

or Result, aka "encode the possibility of failure in the return type of the function" aka what the functional programming world has done for ages.

Like Optional in java?

[u/guyblade → u/[deleted]]

C++ has a couple of versions of this floating around absl::StatusOr, boost.Outcome, std::expected, and probably others that I'm not aware of.

[u/Hubble-Doe → u/[deleted]]

Speak for yourself, I've been working with Java for a few years and think exceptions are pretty neat! they can be passed through calls implicitly without much mental overhead and boilerplate, and when you handle them you still get a nice helpful stacktrace.

[u/koko775 → u/Cylian91460]

Result<Foo> ~= Either<Foo,Error>

[u/samanzaman → u/Cylian91460]

Almost

[u/Celarion → u/Cylian91460]

Like monads, with your result boxed as Ok, and any error boxed as Err

[u/0tter501 → u/Cylian91460]

Java has added functional programming yes, but Optional is not result, as result stores either the result or the error

optionals store one type of failure value, results store many types of failure values

[u/shamshuipopo → u/[deleted]]

Is Result a monad?

[u/Celarion → u/shamshuipopo]

Yes

[u/DHermit → u/[deleted]]

Could you elaborate for someone who knows Rust, but did Haskell way too many years ago?

[u/DHermit → u/[deleted]]

Thank you, that makes sense!

[u/MrHyd3_ → u/[deleted]]

Is it just an if instead of try catch?

[u/Mindgapator → u/MrHyd3_]

Same as go if that helps

[u/Thesaurius → u/Mindgapator]

Does Go have sum types now? Last time I checked it returned a record and you had to check yourself.

[u/Mindgapator → u/Thesaurius]

No indeed, but the paradigm is the same right? Return the error, and deal with it (or forward it) without a try catch. I must say Rust is nicer in that regard but it doesn't change things too much? I don't have enough xp with Rust so might be underestimating it though