Effekt

Effekt 2025 with ‹Programming› 2025

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 ...