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 support for first-class Datalog constraints and its polymorphic type and effect system.

AITO Dahl-Nygaard Prize Winners 2022

About AITO, Dahl-Nygaard Prize

Magnus Madsen is an assistant professor at Aarhus University.

Magnus Madsen is the leader behind Flix, a declarative language for implementing modular and expressive program analyses. Flix seamlessly integrates logic, functional and imperative features, and supports interoperability with Java. The language has a solid implementation and runs on the JVM. Notable applications of Flix include high-level declarative implementations of interprocedural analysis frameworks like IFDS and IDE, a new polymorphic effect system for tracking side-effects, and a novel expressive type system for nullability.

Magnus has also done noteworthy work on static and dynamic analysis for JavaScript, in particular for reasoning about asynchrony in applications with events and promises, and for developing practical bug-finding tools.