An Introduction to Functional Imperative Programming in Flix
You need to be signed in to add a collection
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.
Transcript
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.
About the speakers
Assistant Professor at Aarhus University