Magnus Madsen is an associate professor at the Department of Computer Science at Aarhus University in Denmark.
Magnus conducts research on programming language design and implementation with a special focus on type and effect systems.
Magnus is the lead-developer of the Flix (www.flix.dev) programming language.
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.
More information about Flix:
https://flix.dev/
https://doc.flix.dev/
https://api.flix.dev/
https://play.flix.dev/
https://github.com/flix/flix
https://x.com/flixlang
https://en.wikipedia.org/wiki/Flix_(programming_language)
Searching for speaker images...