Notions of Computation Determine Monads In this session, we investigate how describing effects algebraically generates most of the monads traditionally used to model said effects.

From 14:30 to 15:30 on Wednesday, March 18, the PLSL reading group will discuss "Notions of Computation Determine Monads" by Gordon Plotkin and John Power.

plsl.acp.sdu.dk/posts/2026-03-18-notions...

#PLSL #algebraicEffects #effectSystems #monads

Original post on mastodon.acm.org

From 11:00 to 12:00 on Tuesday, February 17, the PLSL reading group will discuss "An Introduction to Algebraic Effects and Handlers" by Matija Pretnar.

plsl.acp.sdu.dk/posts/2026-02-17-an-intr...

#PLSL #algebraicEffects #effectSystems #semantics […]

Algebraic Effects in Practice with Flix | Relax Algebraic effects are not just a research concept anymore. You can use them in real software, today. Here's why you'd want to do that, in order of importance.

Algebraic Effects in Practice with Flix

#algebraiceffects #functionalprogramming #plt
www.relax.software/blog/flix-ef...

Algebraic effects are a functional approach to manage side effects An explanation of what algebraic effects are and why they are useful for managing side effects

🔣 Algebraic effects are a functional approach to manage side effects
—Peter Saxton

#functionalprogramming #algebraiceffects

Melange for React Developers | Melange for React DevsGitHubGitHub A project-based, guided introduction to Melange and its ecosystem for React developers

react-book.melange.re/intro/
I love #ocalm.
it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference
- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness