Effekt: Lexical Effect Handlers In Action

The tutorial introduces practical programming with algebraic effects and handlers, focusing on how they support writing correct, maintainable software and how they enable meaningful structuring of complex control flow. Participants will explore these ideas through hands-on experience with the Effekt research programming language which offers lexical effect handlers with scoped-based reasoning as a default with a first-class type-based reasoning escape hatch when needed. By the end of the sessions, attendees will have modelled realistic problems, experimented with diverse effect handlers such as their own exception system, logic programming framework, and a cooperative scheduler, and gained insights into leveraging effect systems to streamline programming across various domains. The skills and concepts covered are broadly applicable, providing a mental model for working with modern tools like React or Pyro.