This web content dives deep into error handling within programming languages, urging practitioners to pay more attention to this crucial aspect often overlooked in favor of advanced type system features. Controversially, it challenges conventional thinking in the database community and offers rich insights into catastrophic system failures caused by trivial errors in error handling logic. The author highlights the importance of detailed error metadata, the contextual nature of errors, and the need for both exhaustive and non-exhaustive error handling. By introducing a hypothetical programming language Everr, the post explores error models in existing and upcoming languages, emphasizing the need for holistic approaches and considerations for ecosystems of systems programming languages.
https://typesanitizer.com/blog/errors.html