Explore >> Select a destination

You are here

 source.coveo.com
Error Handling Tradeoffs and Crashing in Production - Source @ Coveo
| | danielsieger.com
Exceptions vs. Error Codes - Daniel Sieger
1.3 parsecs away

Travel
| | A comparison of exceptions and error codes for error handling in C++.
| | dave.cheney.net
Why Go gets exceptions right | Dave Cheney
2.3 parsecs away

Travel
| |
| | patshaughnessy.net
How Rust Makes Error Handling Part of the Language - Pat Shaughnessy
3.2 parsecs away

Travel
| | [AI summary] A Ruby developer explains the unique challenges of mastering Rust's mandatory error handling by comparing it to learning a foreign language with distinct vocabulary for concepts like success and failure.
| | blog.polybdenum.com
What are GADTs and why do they make type inference sad? | Considerations on Codecrafting
14.2 parsecs away

Travel
| Back in 2020, I created Cubiml, a simple ML-like language that demonstrated how to extend the usual Hindley-Milner type system with subtyping while still having decidable full type inference. One question I got was whether it would be possible to support generalized algebraic data types (GADTs) in Cubiml. I had heard that GADTs break type inference and didn't see the point, so I didn't think much of it at the time.