Live-Coding Effect Systems in Scala

October 29, 2021

In this series of talks, we live-code different effect systems in Scala. For each one, we:

  1. Describe an effectful program that we would like to write
  2. Discuss background and practical details about an effect system
  3. Write a toy implementation of the effect system
  4. Build and run the effectful program within the effect system

Monad Transformers

Free Monads

Tagless Final (and Cats)

Reader Monad (and ZIO)