An epic treatise on error models for systems programming languages

Musings on the representation, propagation and handling of errors in existing programming languages, as well as thoughts on future systems. (15K+ words)

via @typesanitizer's blog