Monads 2.0, aka Algebraic Effects: ExtensibleEffects.jl

07/29/2021, 7:00 PM7:30 PM UTC
Purple

Abstract:

While Monads make it easy to hide one context nicely in your code, with Extensible Effects you can combine multiple contexts and let them seamlessly interact with each other. TLDR: If you want to abstract and hide away some computational context, prefer Extensible Effects to Monads.

Description:

You heard that monads should be cool, but guess maybe there is something better already? Indeed ;-)

Extensible effects, or sometimes also called algebraic effects are now around for some time and have made monads composable. Remember, a monad is essentially a composable hidden context, however to compose different such monads has been a struggle for many years.

This talk will present the concept and implementation of Extensible Effects. The implementation was adapted from the scala library Eff, but massively simplified, and with many examples of different complexity. Hence it will serve very well for educational purposes. You can find the source code at https://github.com/JuliaFunctional/ExtensibleEffects.jl

Extensible Effects are a bit like magic. The implementation looks so small but what it can do surpasses imagination, even if you programmed it yourself. It is a truly remarkable concept. Grab the chance and get to know it in this session!

Platinum sponsors

Julia Computing

Gold sponsors

Relational AI

Silver sponsors

Invenia LabsConningPumas AIQuEra Computing Inc.King Abdullah University of Science and TechnologyDataChef.coJeffrey Sarnoff

Media partners

Packt Publication

Fiscal Sponsor

NumFOCUS