Leo White
Names and modalities for typing effect handlers
Abstract: The recent release of OCaml 5.0 includes runtime support for algebraic effects. However, without an effect system it can be hard to ensure that all effects are handled and it can be hard to know which functions might perform effects. I've written at least 4 prototypes of effect systems for OCaml, this talk describes my latest attempt and lessons I've learned from the previous 4. This most recent approach takes advantage of the modal types that have been introduced to support stack allocation in Jane Street's version of OCaml. This removes much of the need for effect polymorphism: producing simpler types for users.
back to overview
Watch Recording
