#monadtransformers#lenses#profunctors
Edward Kmett - Monad Transformer Lenses
1K subscribers • 8 videos on Hallway
- Recommended by 2 people: 2 in engineering communities.
- Presented by Edward Kmett
Advanced. Deep dive for people who know the field.
7.4K views10 years ago2 recommendations
Programming languagesSoftware designHaskellFunctional programmingPerformance and optimization
Edward Kmett discusses building a monoidal category of monad transformers and using lenses on this category to produce highly efficient Haskell code.
I'll talk a bit about how we can do lenses in much more general settings. Then, given that the venue is "Monadic Warsaw" I'll show how we can build a monoidal category of monad transformers and work with lenses on this category with an eye towards how this can let us produce much more efficient code than we can with just the MTL classes as we know them today. No real prior exposure to lenses is required, and all talk of profunctors and the like should be self-contained, but some basic understanding of monad transformers would be helpful.Why it's here
2 people recommend thisWhat people say. Recommended as an advanced exploration of monad transformers and optics for performance optimization.
Moments people linked to
u/tomejaguarin r/haskell • Mentions
u/edwardkmettin r/haskell • Mentions
On “Typeclass Lenses”
u/Faucelmein r/haskell • Mentions
On “Edward Kmett - Monad Transformer Lenses”
u/edwardkmettin r/haskell • Mentions
On “Using (functor) profunctor optics to alleviate the n × m instances problem in MTL”
u/edwardkmettin r/haskell • Mentions
On “Converting `ReaderT ctx (ExceptT e IO) a` to `ReaderT ctx IO (Either e a)`”