An Introduction to Functional Imperative Programming in Flix • Magnus Madsen • GOTO 2023

This presentation was recorded at GOTO Aarhus 2023. #GOTOcon #GOTOaar https://gotoaarhus.com Magnus Madsen - Assistant Professor at Aarhus University RESOURCES https://flix.dev https://github.com/flix/flix https://twitter.com/flixlang Magnus https://twitter.com/MagnusMadsenDK https://github.com/magnus-madsen ABSTRACT 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. [...] TIMECODES 00:00 Introduction 01:37 The Flix Principle 03:09 Type and Effect System 09:29 Effect Polymorphism 11:06 Catching Bugs 12:29 Summary: Effect System 17:11 Example: Sorting 18:57 Example: Adding Two Numbers 20:01 Example: Swapping Elements 20:50 Example: ToString 21:55 2 Summary: Region-based Memory 25:29 The Iterator Data Type 29:52 3 Summary: Iterators in Action 32:46 Selective Parallelism 34:46 Example II: Automatic Parallelization 35:43 A Fresh Take on Data Transformations 36:18 Summary: Purity Reflection 37:19 Visual Studio Code Support 39:47 Summary (1/2) 40:27 Outro Download slides and read the full abstract here: https://gotoaarhus.com/2023/sessions/2497 RECOMMENDED BOOKS Richard Feldman • Elm in Action • https://amzn.to/387kujI Tim McNamara • Rust in Action • https://amzn.to/3ux2R9u Jeremy Fairbank • Programming Elm • https://amzn.to/2WhZCE8 Wolfgang Loder • Web Applications with Elm • https://amzn.to/3jblQ3q Cristian Salcescu • Functional Programming in JavaScript • https://amzn.to/3y75jBS https://twitter.com/GOTOcon https://www.linkedin.com/company/goto- https://www.facebook.com/GOTOConferences #FlixLang #Flix #FunctionalProgramming #ImperativeProgramming #FunctionalImperativeProgramming Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech Sign up for updates and specials at https://gotopia.tech/newsletter SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConferences/?sub_confirmation=1