Using Relative Monads for Cheap Syntax

A SkillsCast for this session is not available.

We will walk through a production use of this at CBA (converted to Haskell), which has allowed us to cheaply add error handling to new monads and the theory behind it. Finally, we will compare this approach with monad transformers and monad layers.

In this talk we will present a technique based on relative monads that allows one to embed generic syntax involving a monad, m, which can then be simply reused for any relative monad, relative to m.

YOU MAY ALSO LIKE:

• Meta-quines (SkillsCast recorded in May 2019)
• Applied Category Theory - The Emerging Science of Compositionality (SkillsCast recorded in May 2019)