Live-Coding Effect Systems in Scala
In this series of talks, we live-code different effect systems in
Scala. For each one, we:
- Describe an effectful program that we would like to write
- Discuss background and practical details about an effect system
- Write a toy implementation of the effect system
- Build and run the effectful program within the effect system
Free Monads
Tagless Final (and Cats)
Reader Monad (and ZIO)