filmov
tv
Using Monad Transformers without understanding them

Показать описание
Do you understand Monads and “do notation,” but still do not understand Monad Transformers? Do you want to use a framework or library, but it has been scaring you off because it uses a monad transformer? Then this talk is for you.
This talk answers two questions:
- what problem do monad transformers solve?
- how do I use monad transformers to solve that problem?
This talk will
- show examples of common monad transformers and their equivalent “untransformed” versions
- show how to “sugar” a concrete type into a monad transformer
- explain why the order of monad transformers matter
- show how to write programs using monad transformers and their corresponding type classes
This talk will not explain why monad transformers actually work. But, it will be easier for you to learn why they work after watching this talk.
By the end of this talk, you will
- understand when to use transformers
- be able to use ExceptT, ReaderT, and StateT
- have an intuition for how “Tagless Final” works
This talk answers two questions:
- what problem do monad transformers solve?
- how do I use monad transformers to solve that problem?
This talk will
- show examples of common monad transformers and their equivalent “untransformed” versions
- show how to “sugar” a concrete type into a monad transformer
- explain why the order of monad transformers matter
- show how to write programs using monad transformers and their corresponding type classes
This talk will not explain why monad transformers actually work. But, it will be easier for you to learn why they work after watching this talk.
By the end of this talk, you will
- understand when to use transformers
- be able to use ExceptT, ReaderT, and StateT
- have an intuition for how “Tagless Final” works
Using Monad Transformers without understanding them
How I Understood Monad Transformers by Jacek Kunicki
Monad Transformers
HOW I UNDERSTOOD MONAD TRANSFORMERS - Jacek Kunicki | Scalar 2020
Haskell's ReaderT Monad Transformer
Haskell for Imperative Programmers #38 - Monad Transformers
Monad transformers in C# for use in validation (2 Solutions!!)
Precomposing monad transformers
ExceptT in Haskell
Adam McCullough - Monad Transformers for the Easily Confused - λC 2018
Monad Transformers in Scalamachine & Scaliak
Daniel Spiewak: Emm A Sane Alternative to Monad Transformers in Scala - λC 2016
Scalapeño 2016 - Extensible Effects vs. Monad Transformers (Shimi Bandiel)
Code Review: Monad Transformers
Haskell's WriterT Monad Transformer
Code Review: Using monads and monad transformers (simple matching engine)
Haskell What is the monad transformer
Ep 14: Monad transformers using the Cats MTL library
Monad transformers down to earth by Gabriele Petronella
Ep 9: Transformers, Monads in Disguise
Gabriella Gonzalez on 'Monad transformers are good, actually' @ZuriHac2023
Scala Free Monads with Coproduct and monad transformer
Interpret your monads! - Concrete Monads vs Monad classes by Auke Booij #FnConf 2022
Implement State Monad transformer in Haskell from scratch
Комментарии