GOTO Aarhus 2023

Tuesday May 23
12:00 –
Lille Sal

An Introduction to Functional Imperative Programming in Flix

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.