Presenting on Algebraic Effects at FP-SYD (opens in new tab)

At ICFP this year, gave two talks that put OCaml 5 in the spotlight: his of the OCaml workshop, “OCaml 5.0 - Concurrent and Parallel Programming.” Effect Handlers feature heavily, as they are the foundations on which concurrency primitives were added to OCaml. Since I knew very little about effects in this context, I asked KC for some pointers on where to start with learning about them. He pointed me to the , encouraging me to set it up, play with it, and see how its type systems work with ef...