Скачать или смотреть Devoxx Greece 2025 - Effectful Programming in the Flix Programming Language by Magnus Madsen

I will give a broadly accessible introduction to effectful programming in the Flix Programming Language.

Flix (www.flix.dev) is a principled functional, imperative, and logic programming language that runs on the JVM.

The unique feature of Flix is its state-of-the-art type and effect system. Most programmers are familiar with type systems, but less are familiar with effect systems which is a new and upcoming technique that will impact the space of programming language design over the next decade.

Where a type system describes the values of a program, an effect system tracks the actions that a program can take. For example, an effect could be reading a file from the file system or accessing the network. Tracking effects better program reasoning, enforce modularity, and is also the enable for a new programming abstraction: effects and handlers which allow programmers to define their own control structures (e.g. async/await, exceptions, etc.)

While the talk will concern Flix, an explicit goal is also to provide a generally understandable introduction to effect systems and how to program with them.