An epic treatise on error models for systems programming languages
Target audience: Practitioners interested in programming language design
and familiar with representations of errors in at least a few different languages
such as error codes, checked/unchecked exceptions, tagged unions,
polymorphic variants etc.
Estimated reading time: 60 to 90 mins.
In research papers on programming languages,
there is often a focus on sophisticated
type system features to rule out certain classes of errors,
whereas error handling itself receives
relatively little attention, d...
Read more at typesanitizer.com