An Introduction to Functional Imperative Programming in Flix

Updated on June 7, 2023
GOTO Aarhus 2023
Magnus Madsen
Magnus Madsen

Assistant Professor at Aarhus University

Flix is a new functional, imperative, and logic programming language under development by programming language researchers at Aarhus University, the University of Waterloo, Universität Tübingen, and by a growing community of open-source contributors.

In this talk, I will present several notable features of Flix, including its polymorphic type and effect systems and how to write pure functions in an imperative style.