Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Associated Effects: Flexible Abstractions for Effectful Programming

ACM SIGPLAN via YouTube

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 19-minute video presentation from the PLDI 2024 conference introducing associated effects, a novel programming language feature that enhances the flexibility of type classes in abstracting over function effects. Learn how Matthew Lutze and Magnus Madsen from Aarhus University demonstrate the increased expressive power of combining type and effect systems with type classes. Discover how associated effects enable abstraction over total and partial functions, immutable and mutable data structures, and implementation of adaptors combining type classes with algebraic effects. Examine the practical application of associated effects in the Flix programming language, including the refactoring of its Standard Library to incorporate 11 type classes with associated effects and 28 new type class instances. Gain insights into the potential impact of this feature on generic programming, ad-hoc polymorphism, and effect systems in modern programming languages.

Syllabus

[PLDI24] Associated Effects: Flexible Abstractions for Effectful Programming

Taught by

ACM SIGPLAN

Reviews

Start your review of Associated Effects: Flexible Abstractions for Effectful Programming

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.