- Extensible Type-Safe Error Handling in Haskell (
Ever heard of “extensible effects?” By applying the same principle, but for error handling, the result is nice, type-safe API for Haskell, with a lot of GHC magic under the hood.
- Monad Transformers are a Great Abstraction (
Monads are hard to get right, monad transformers are harder. Yet, they remain a very powerful abstraction.
If this topic interests you, you may be interested in subscribing to its RSS feed .